--- a/.hgtags	Tue Sep 18 16:26:27 2018 +0200
+++ b/.hgtags	Tue Sep 18 16:26:28 2018 +0200
@@ -10,3 +10,4 @@
 b9b8257e9e84d08ff1f8c29511493ed3a6c121c4 0.1.9
 59f67c66ff786d74179d5e34b8b53fbe50260c4b 0.1.10
 7fe59c07bd831e2c3338d845440a7b6918f44cbe 0.1.11
+bce031c421f08e8cf56d04be26339103d6d77560 0.1.12