--- a/.hgtags	Tue Sep 18 16:27:26 2018 +0200
+++ b/.hgtags	Tue Sep 18 16:27:26 2018 +0200
@@ -10,3 +10,4 @@
 6d8b40599c9cde29eeb151c58a6064148b5cb25e 0.1.9
 10c30486edcf7ca3f276a63accfe09949c1619ba 0.1.10
 601d0dd8bbdeb0d8ee38b9708301ca78c5822c27 0.1.11
+4925a9f3a985eff39470602721286b4dc56b1166 0.1.12