--- 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