diff -r 7547887dc2fb -r cee85dc4bad3 .hgtags
--- a/.hgtags	Fri Jul 20 12:48:02 2018 +0200
+++ b/.hgtags	Fri Jul 20 12:48:02 2018 +0200
@@ -18,3 +18,4 @@
 81e7c46a70c85e39476c93ab294e498303806515 0.1.15
 228fcc7327a18f0b4e02ac007445070eefca47c9 0.1.16
 39ee3f076d70dc99aa179731bf14706c554615e5 0.1.17
+7547887dc2fb1861d37853257bc07f6e131301d4 0.1.18