--- a/.hgtags	Thu Jun 28 15:23:55 2018 +0200
+++ b/.hgtags	Thu Jun 28 15:24:22 2018 +0200
@@ -61,3 +61,4 @@
 91c2e4022b472e0317d8c120c53f1a2f1e09c32f 0.1.1
 c1653196d51c9c893c1572ed338b6a160ba62883 0.1.1
 607d8b240b008acad3f1e24538fc8621322dd7c0 0.1.2
+0ea81613eaf8c9f98ba37056b78454146f1a0729 0.1.3