--- a/.hgtags Tue Sep 18 16:27:26 2018 +0200 +++ b/.hgtags Tue Sep 18 16:27:26 2018 +0200 @@ -10,3 +10,4 @@ 6d8b40599c9cde29eeb151c58a6064148b5cb25e 0.1.9 10c30486edcf7ca3f276a63accfe09949c1619ba 0.1.10 601d0dd8bbdeb0d8ee38b9708301ca78c5822c27 0.1.11 +4925a9f3a985eff39470602721286b4dc56b1166 0.1.12