--- a/.hgtags	Fri Jul 20 12:53:17 2018 +0200
+++ b/.hgtags	Fri Jul 20 12:53:18 2018 +0200
@@ -11,3 +11,4 @@
 725591ab6ccf55b2f7c7b3cf8184cfb0659130ab 0.1.10
 21f1a2b244825e46ba666c8ea3b4e543fd0f067d 0.1.11
 5f42c1b3365f65bf382468b3b64d62d9bb02be0b 0.1.12
+1e564afe43a4dcdb43a676e413f4615a3b1ae66b 0.1.13