--- a/.hgtags	Tue Mar 20 17:42:43 2018 +0100
+++ b/.hgtags	Tue Mar 20 17:42:44 2018 +0100
@@ -11,3 +11,4 @@
 43d549b611d3e95da0882247f703df13e32ed34f 0.1.10
 5dc430f8bdcf68f48daf4e223758e788f7ef8059 0.1.11
 2ed1f847c318ccbb6de5bef7b07f0839c7088389 0.1.12
+f58edd0e42b81a43ecbf18e6641188a6baed6a8a 0.1.13