--- a/.hgtags	Tue Oct 09 17:51:18 2018 +0200
+++ b/.hgtags	Tue Nov 13 14:48:49 2018 +0100
@@ -10,3 +10,6 @@
 461fa3beb4386cf6764d60d59c4854fbba01833b 0.1.9
 d02350fa13e7d76393c414edecef40cd18cbb837 0.1.10
 9264287735a6f0538eb4580567e914cfb91383f2 0.1.11
+a948e0a00f5ce1f6d79d559ade979a3397f0d722 0.1.12
+39482eb2520fa8610d376e575c10dc2bcc79abc6 0.1.13
+fe7f30ba737d6790b949bac378f8539dcb3ab62f 0.1.14