diff -r 08ed24d0f2e9 -r 7c1ed13e4b91 .hgtags
--- a/.hgtags	Mon Jun 11 16:01:56 2018 +0200
+++ b/.hgtags	Mon Jun 11 16:01:56 2018 +0200
@@ -10,3 +10,4 @@
 8e2e54492244abac5f74c465cf96001c8d4655e0 0.1.10
 09f9b0f3108d86f7a61b13f7df4a5e5534555d30 0.1.11
 0da5847db3a4ff099a8c2df86ea79cf7957117b1 0.1.12
+08ed24d0f2e9a889878fa47ec47c2ee19cea2319 0.1.13