--- a/.hgtags Fri Oct 13 10:03:20 2017 +0200
+++ b/.hgtags Fri Oct 13 10:03:20 2017 +0200
@@ -8,3 +8,4 @@
48a651ca76b7961f4e820bd435659a8de101ddde 0.1.5
643417150ee3a430c942e1dfe322334e4f79966b 0.1.6
8a14864b8429e4ea68ff1b704af2948682052417 0.1.7
+239d4646634eb3b545cd4ead6d101fa5ff4d6dec 0.1.8