--- a/.hgtags Fri Oct 13 10:20:11 2017 +0200
+++ b/.hgtags Fri Oct 13 10:20:12 2017 +0200
@@ -6,3 +6,4 @@
4cbe2708a397ad1abc544239f885c3734e422f13 0.1.5
67e09cabd0720a335cbdd46412379c695e84525d 0.1.6
e48fcd062faf388918ac63ccda93d12c17b05280 0.1.7
+0df6b07cf81336355b78b2417e1e6bf14288d5af 0.1.8