--- a/.hgtags	Fri Jul 20 12:55:15 2018 +0200
+++ b/.hgtags	Fri Jul 20 12:55:15 2018 +0200
@@ -9,3 +9,4 @@
 c8a142f76c36fecece4bb7a7e2690f28ff37ac0a 0.1.8
 6d8b40599c9cde29eeb151c58a6064148b5cb25e 0.1.9
 10c30486edcf7ca3f276a63accfe09949c1619ba 0.1.10
+601d0dd8bbdeb0d8ee38b9708301ca78c5822c27 0.1.11
changeset 81	eb0e731f16f8
parent 69	c5dc7118d102
child 92	5f1c2771ed37