diff -r 017c493287dc -r 2265a1c6cbd1 .hgtags
--- a/.hgtags	Wed Dec 05 16:36:00 2018 +0100
+++ b/.hgtags	Wed Dec 05 16:36:25 2018 +0100
@@ -25,3 +25,5 @@
 9b87ac9dff97eb0d805f3d131b542262cf2dc9f5 0.1.7
 0000000000000000000000000000000000000000 0.1.8
 2399139252a9f5d65ca837a8795ffa70031ab2aa 0.1.8
+40f12a3d67db0dfd7c610140c70908c9949ed9f6 0.1.9
+40f12a3d67db0dfd7c610140c70908c9949ed9f6 0.1.9