--- a/.hgtags Fri Jan 26 17:15:51 2018 +0100
+++ b/.hgtags Fri Jan 26 17:15:51 2018 +0100
@@ -10,3 +10,4 @@
3997cb3dbe6f3a56edbb7811014180998d2fd8d0 0.1.9
43d549b611d3e95da0882247f703df13e32ed34f 0.1.10
5dc430f8bdcf68f48daf4e223758e788f7ef8059 0.1.11
+2ed1f847c318ccbb6de5bef7b07f0839c7088389 0.1.12