diff -r 9001d8c66f44 -r fd5c812eb8d7 .hgtags
--- a/.hgtags	Sat Jan 27 00:31:03 2018 +0100
+++ b/.hgtags	Sat Jan 27 00:31:15 2018 +0100
@@ -13,3 +13,4 @@
 417298dbf77b8188e044c8f11583ac65ee260123 0.1.11
 a7222beb955993f33b84be8475385551ad47de25 0.1.12
 8e84f26626aeb2b79e3fe1e4c4501a410e009cab 0.1.13
+9001d8c66f44f97a579b6385ccb86034e606f805 0.1.13.1