--- a/.hgtags Thu Jun 28 08:48:26 2018 +0200 +++ b/.hgtags Thu Jun 28 08:48:26 2018 +0200 @@ -4,3 +4,4 @@ 1a8ae80d426c50d10ed976df7703f2b805a1c4cb 0.1.3 10d9fbc9908f3bcfdd1cb28cfec3d20175a0feb3 0.1.4 b2c3949bb5b8c7bcdf77a6d417cb1e84771db830 0.1.5 +c1e5ec49def40a740580aec8c7fc2ead2266ded3 0.1.6