--- a/.hgtags	Fri Jul 20 12:50:01 2018 +0200
+++ b/.hgtags	Fri Jul 20 12:50:01 2018 +0200
@@ -7,3 +7,4 @@
 65e7ee10fc207046c0a6432ee439ec4695fbbe30 0.1.6
 9b87ac9dff97eb0d805f3d131b542262cf2dc9f5 0.1.7
 2399139252a9f5d65ca837a8795ffa70031ab2aa 0.1.8
+e8c93d4d047913b207df99be1ff327f1a274b466 0.1.9