--- a/.hgtags Fri Jul 20 12:49:02 2018 +0200 +++ b/.hgtags Fri Jul 20 12:49:02 2018 +0200 @@ -10,3 +10,4 @@ dc5945f35518281f5705e88a0a567dc5ba59fbdd 0.1.7 60f427a8efde40b244038928972ef0e5891c7f5d 0.1.8 f1cd0f74969656e3fd324455b1126b4d6cae12b1 0.1.9 +cec5c70cfd1cfc4d03af2b3f2230299fb91e46dc 0.1.10