diff -r 4aa6d94aed43 -r daa1f96ba2b4 .hgtags
--- a/.hgtags	Fri Dec 14 18:36:51 2018 +0100
+++ b/.hgtags	Fri Dec 14 18:36:51 2018 +0100
@@ -16,3 +16,4 @@
 1a77f19cd7dea7cd23c715ee929dcdc8afa0b25e 0.1.12.2
 4740e424ef1a57c17eb21dc22eae8b2a1679dd05 0.1.12.2
 11ecade1d8acec353a18fa1a2062834e94fa9c80 0.1.13
+4aa6d94aed439ac2ac8a942eb97d5c900ccd4b43 0.1.13.1