--- a/.hgtags	Fri Jul 20 12:54:14 2018 +0200
+++ b/.hgtags	Fri Jul 20 12:54:15 2018 +0200
@@ -9,3 +9,4 @@
 cea10cc41ab8be3084ba1e8e7040915ffaad6fba 0.1.8
 b9b8257e9e84d08ff1f8c29511493ed3a6c121c4 0.1.9
 59f67c66ff786d74179d5e34b8b53fbe50260c4b 0.1.10
+7fe59c07bd831e2c3338d845440a7b6918f44cbe 0.1.11