--- a/.hgtags Tue Jun 06 16:44:29 2017 +0200 +++ b/.hgtags Tue Jun 06 16:44:35 2017 +0200 @@ -1,3 +1,4 @@ 6239080e27fd6d83a907074c4846902051bec7bd 0.1.0 3245d21bda40cef686929558869c3dc1c5f843f4 0.1.1 d56eef10d01a895a14c063c05e726f18cfdf7e51 0.1.2 +296bbb469ca44d6c0c35968742d097df6fc5b72d 0.1.3