--- a/.hgtags	Fri Apr 27 10:31:17 2018 +0200
+++ b/.hgtags	Fri Apr 27 10:31:17 2018 +0200
@@ -9,3 +9,4 @@
 31fd84f7cc4701b07dbafdc37d5e11409c998835 0.1.9
 8e2e54492244abac5f74c465cf96001c8d4655e0 0.1.10
 09f9b0f3108d86f7a61b13f7df4a5e5534555d30 0.1.11
+0da5847db3a4ff099a8c2df86ea79cf7957117b1 0.1.12