--- a/.hgtags Tue Sep 19 11:38:25 2017 +0200 +++ b/.hgtags Tue Sep 19 11:38:25 2017 +0200 @@ -7,3 +7,4 @@ f30ee9996da9b6dfa41d35e46bb1b26301648009 0.1.5 48a651ca76b7961f4e820bd435659a8de101ddde 0.1.5 643417150ee3a430c942e1dfe322334e4f79966b 0.1.6 +8a14864b8429e4ea68ff1b704af2948682052417 0.1.7