--- a/.hgtags Fri Dec 08 11:57:42 2017 +0100 +++ b/.hgtags Fri Dec 08 11:57:43 2017 +0100 @@ -9,3 +9,4 @@ 643417150ee3a430c942e1dfe322334e4f79966b 0.1.6 8a14864b8429e4ea68ff1b704af2948682052417 0.1.7 239d4646634eb3b545cd4ead6d101fa5ff4d6dec 0.1.8 +578c0df290b5c64f45caa667d419218cf98f8917 0.1.9