--- a/.hgtags Mon Jun 11 16:10:11 2018 +0200
+++ b/.hgtags Mon Jun 11 16:10:12 2018 +0200
@@ -7,3 +7,4 @@
e0f654cbdb355aafdd5d75c699fd5593362dddb6 0.1.6
7550c0951245f1c6c1ade74207f811c0e74eaee3 0.1.7
cea10cc41ab8be3084ba1e8e7040915ffaad6fba 0.1.8
+b9b8257e9e84d08ff1f8c29511493ed3a6c121c4 0.1.9