--- a/.hgtags Tue Sep 18 16:30:58 2018 +0200 +++ b/.hgtags Tue Sep 18 16:30:58 2018 +0200 @@ -6,3 +6,4 @@ b2c3949bb5b8c7bcdf77a6d417cb1e84771db830 0.1.5 c1e5ec49def40a740580aec8c7fc2ead2266ded3 0.1.6 ca0bd32ae2f16385e77d9eb913a8af16e7614464 0.1.7 +85907babe16b8cd8cfb64dadfb7203f23450d493 0.1.8