--- a/.hgtags Tue Oct 23 12:16:08 2018 +0200
+++ b/.hgtags Tue Oct 23 12:16:08 2018 +0200
@@ -10,3 +10,4 @@
461fa3beb4386cf6764d60d59c4854fbba01833b 0.1.9
d02350fa13e7d76393c414edecef40cd18cbb837 0.1.10
9264287735a6f0538eb4580567e914cfb91383f2 0.1.11
+a948e0a00f5ce1f6d79d559ade979a3397f0d722 0.1.12