--- a/.hgtags Mon Jun 11 16:03:58 2018 +0200 +++ b/.hgtags Mon Jun 11 16:03:58 2018 +0200 @@ -9,3 +9,4 @@ 344eb7c48b0527a3a81b94445594226fce5da8f8 0.1.6 dc5945f35518281f5705e88a0a567dc5ba59fbdd 0.1.7 60f427a8efde40b244038928972ef0e5891c7f5d 0.1.8 +f1cd0f74969656e3fd324455b1126b4d6cae12b1 0.1.9