--- a/.hgtags Fri Nov 16 15:20:22 2018 +0100
+++ b/.hgtags Fri Nov 16 15:20:22 2018 +0100
@@ -5,3 +5,4 @@
2f54d2535afcb866740cd5cf9bbbe8de60709df7 0.1.5
be17fa43b551f0cb0e09c189798bba60c403dda5 0.1.6
6342635f6605053209ed71939a41280682721803 0.1.7
+41d6c78a49152ebbc76494e0eaff4a7872344863 0.1.8