--- a/.hgtags Fri Jul 20 13:00:03 2018 +0200
+++ b/.hgtags Fri Jul 20 13:00:03 2018 +0200
@@ -5,3 +5,4 @@
10d9fbc9908f3bcfdd1cb28cfec3d20175a0feb3 0.1.4
b2c3949bb5b8c7bcdf77a6d417cb1e84771db830 0.1.5
c1e5ec49def40a740580aec8c7fc2ead2266ded3 0.1.6
+ca0bd32ae2f16385e77d9eb913a8af16e7614464 0.1.7