--- a/.hgtags Thu Jun 28 09:26:40 2018 +0200
+++ b/.hgtags Thu Jun 28 09:26:40 2018 +0200
@@ -10,3 +10,4 @@
5c673448b942d1cd3682e40d8c1e6e06f91e421b 0.1.9
5f91ad025e46d3fb94977bddf4e51665d4a3163a 0.1.10
a213457e7a7c2ff8e56e8f2abf5b0374677712c8 0.1.11
+3bc0c516ed1a921e5a717fb400b5e42dab74328c 0.1.12