--- a/.hgtags	Wed Oct 24 16:37:35 2018 +0200
+++ b/.hgtags	Wed Oct 24 16:37:35 2018 +0200
@@ -11,3 +11,4 @@
 d02350fa13e7d76393c414edecef40cd18cbb837 0.1.10
 9264287735a6f0538eb4580567e914cfb91383f2 0.1.11
 a948e0a00f5ce1f6d79d559ade979a3397f0d722 0.1.12
+39482eb2520fa8610d376e575c10dc2bcc79abc6 0.1.13