--- a/.hgtags	Wed Aug 01 13:42:46 2018 +0200
+++ b/.hgtags	Wed Aug 01 13:45:33 2018 +0200
@@ -71,3 +71,4 @@
 d1469df0b785d8c4784cbe9aebdcc7fb0e021060 0.1.5
 ccb0db163d694ee91128f42ee386cdc0672e0931 0.1.5
 4233169235277eac360d9865c1f05bd1364f21ef 0.1.6
+ad370eb2b020c4b975b5f322b0077cdd06671c9d 0.1.7
changeset 575	03b9debd09c5
parent 573	5197a80bee84
child 577	5c37591dd87d