diff -r 6566d80fdd2a -r fac128960d51 .hgtags
--- a/.hgtags	Wed Dec 05 16:33:47 2018 +0100
+++ b/.hgtags	Wed Dec 05 16:34:13 2018 +0100
@@ -13,3 +13,5 @@
 3245d21bda40cef686929558869c3dc1c5f843f4 0.1.1
 0000000000000000000000000000000000000000 0.1.2
 d56eef10d01a895a14c063c05e726f18cfdf7e51 0.1.2
+0000000000000000000000000000000000000000 0.1.3
+296bbb469ca44d6c0c35968742d097df6fc5b72d 0.1.3