--- a/.hgtags Mon Jun 11 16:12:08 2018 +0200
+++ b/.hgtags Mon Jun 11 16:12:09 2018 +0200
@@ -10,3 +10,4 @@
1df498497961747c82378313c2968b79dd897a99 0.1.9
313fd136647e90cb9374d96e46df5289bcb422c2 0.1.10
ba20d5866fefcfc881a492fbd7e59c676fd689f8 0.1.11
+0504e5a1e5255043d169b2bf3e2153e4e61205b0 0.1.12