--- 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