--- a/.hgtags	Fri Jul 20 12:58:50 2018 +0200
+++ b/.hgtags	Fri Jul 20 12:58:50 2018 +0200
@@ -11,3 +11,4 @@
 5f91ad025e46d3fb94977bddf4e51665d4a3163a 0.1.10
 a213457e7a7c2ff8e56e8f2abf5b0374677712c8 0.1.11
 3bc0c516ed1a921e5a717fb400b5e42dab74328c 0.1.12
+8bd665f8baabf7d49535310b368e74d88001c0f9 0.1.13