--- a/.hgtags Mon Jun 11 17:38:55 2018 +0200 +++ b/.hgtags Mon Jun 11 17:38:55 2018 +0200 @@ -14,3 +14,4 @@ 957f132174b4ef4ad880de0502a32aa2ce34e5da 0.1.8 68d0d7a99ce309e0cd1d1344f584ba923e356786 0.1.9 9a8385a24d1a0099f7cd01631fe5ca1a06dd3cd8 0.1.10 +29e2004100b3ee9505c2638abb96a5bd9cfb4d0a 0.1.11