--- a/.hgtags Thu Jun 28 08:40:48 2018 +0200
+++ b/.hgtags Thu Jun 28 08:40:48 2018 +0200
@@ -4,3 +4,4 @@
b3ec9933295b4a34ad963066affb76b91aabe488 0.1.4
2f54d2535afcb866740cd5cf9bbbe8de60709df7 0.1.5
be17fa43b551f0cb0e09c189798bba60c403dda5 0.1.6
+6342635f6605053209ed71939a41280682721803 0.1.7