--- a/.hgtags Thu Jul 13 11:04:49 2017 +0200 +++ b/.hgtags Thu Jul 13 11:04:50 2017 +0200 @@ -3,3 +3,4 @@ 5713898178f3ea52e68b8a14bc1f473bc0f725a7 0.1.2 45ce94599ba1567e0186e725c3bb0679c9b4fda8 0.1.3 516461b95b6314466fce23e962fc50102f6beaab 0.1.4 +5c4c8b122f949eada387e810753dd1b977530698 0.1.5