--- a/.hgtags Tue Sep 19 11:31:14 2017 +0200 +++ b/.hgtags Tue Sep 19 11:31:15 2017 +0200 @@ -6,3 +6,4 @@ a9ef7fc88d492a67586898aee0f7742deb983ef0 0.1.5 62088c04988434c9f642ae7d5f1e160797f1a9d1 0.1.6 07c98455095353019dd2178cea9c0082d35edb38 0.1.7 +37c7e3b785b0595968b02f0350d474b056c5b35f 0.1.8