--- a/.hgtags Thu Jul 13 10:57:38 2017 +0200 +++ b/.hgtags Thu Jul 13 10:57:38 2017 +0200 @@ -1,2 +1,3 @@ 4bdc5043fd3da37a18c3471c1c448ff7bc3aa10b 0.1.0 6caf7ef43b2d8ff9d70d30b56c02a3c64f5d0ee8 0.1.1 +27631588832b7e8f7bae54e1b68c53e1eb967469 0.1.2