--- a/.hgtags	Thu Jun 28 08:45:49 2018 +0200
+++ b/.hgtags	Thu Jun 28 08:45:49 2018 +0200
@@ -11,3 +11,4 @@
 313fd136647e90cb9374d96e46df5289bcb422c2 0.1.10
 ba20d5866fefcfc881a492fbd7e59c676fd689f8 0.1.11
 0504e5a1e5255043d169b2bf3e2153e4e61205b0 0.1.12
+c48b49297d98b88500f7622f7590ca981cf9dc4b 0.1.13