--- a/.hgtags Fri Jul 20 12:51:02 2018 +0200 +++ b/.hgtags Fri Jul 20 12:51:02 2018 +0200 @@ -8,3 +8,4 @@ 961de1f9ed3ac3ff1fc0b04590c083bc35231fca 0.1.7 9049f6b9306c71d76c0b794b634298210b46e7d6 0.1.8 58b69fca70698e5d62e6c22bb1448d7ce90d794f 0.1.9 +35c64c85e5f5a25650556866f1de65b541df1f5f 0.1.10