diff -r 40f6c30c21d3 -r 767542a815b1 .hgtags
--- a/.hgtags	Fri Jan 11 13:53:05 2019 +0100
+++ b/.hgtags	Fri Jan 11 13:53:05 2019 +0100
@@ -17,3 +17,4 @@
 4740e424ef1a57c17eb21dc22eae8b2a1679dd05 0.1.12.2
 11ecade1d8acec353a18fa1a2062834e94fa9c80 0.1.13
 4aa6d94aed439ac2ac8a942eb97d5c900ccd4b43 0.1.13.1
+40f6c30c21d3ed8f1d38574fd42a7353b8705849 0.1.14