--- a/.hgtags	Fri Oct 05 15:10:28 2018 +0200
+++ b/.hgtags	Fri Oct 05 15:10:28 2018 +0200
@@ -12,3 +12,4 @@
 f1cd0f74969656e3fd324455b1126b4d6cae12b1 0.1.9
 cec5c70cfd1cfc4d03af2b3f2230299fb91e46dc 0.1.10
 671d1bb41699a2eb98df39d373ab11461543da53 0.1.11
+4d9e04453c06ab93b230042958dc759c4d80e7be 0.1.12