--- a/.hgtags	Wed Dec 05 16:27:57 2018 +0100
+++ b/.hgtags	Wed Dec 05 16:30:44 2018 +0100
@@ -7,6 +7,4 @@
 b06631af55a5a8f2178502ea5e2c5335c4fd2b8c 0.1.6
 29149bd0b72a80d89d021481b2c1770758d45c46 0.1.7
 2d2d5040fee051f2896948a146bbff6e7a906533 0.1.8
-a3b92ff96755ee8bc471e3e87775c94bbfc21ca6 0.1.9
-0000000000000000000000000000000000000000 0.1.9
 40f12a3d67db0dfd7c610140c70908c9949ed9f6 0.1.9