--- a/.hgtags Fri Oct 13 10:15:26 2017 +0200 +++ b/.hgtags Fri Oct 13 10:15:26 2017 +0200 @@ -7,3 +7,4 @@ 62088c04988434c9f642ae7d5f1e160797f1a9d1 0.1.6 07c98455095353019dd2178cea9c0082d35edb38 0.1.7 37c7e3b785b0595968b02f0350d474b056c5b35f 0.1.8 +3997cb3dbe6f3a56edbb7811014180998d2fd8d0 0.1.9