--- a/.hgtags	Thu Mar 22 15:03:30 2018 +0100
+++ b/.hgtags	Thu Mar 22 15:03:30 2018 +0100
@@ -13,3 +13,4 @@
 de5a2a9fdf22b3917698b0835a322e6a0acddf70 0.1.10
 930ead384f3c0326c029d809d48827de44381a34 0.1.10.1
 d73905f6a2eb2949b3979671bf261965473bb7b9 0.1.11
+5d94baef6923642af27a9f30f377d45f67f04bbf 0.1.12