diff -r fe7f30ba737d -r f75645bf1002 .hgtags
--- a/.hgtags	Tue Oct 30 12:32:31 2018 +0100
+++ b/.hgtags	Tue Oct 30 12:32:31 2018 +0100
@@ -12,3 +12,4 @@
 9264287735a6f0538eb4580567e914cfb91383f2 0.1.11
 a948e0a00f5ce1f6d79d559ade979a3397f0d722 0.1.12
 39482eb2520fa8610d376e575c10dc2bcc79abc6 0.1.13
+fe7f30ba737d6790b949bac378f8539dcb3ab62f 0.1.14