--- a/.hgtags	Mon Apr 08 13:37:23 2019 +0200
+++ b/.hgtags	Sun May 26 22:23:01 2019 +0200
@@ -2,3 +2,4 @@
 5b03b8ede7e14015ab283b8c3e3e5f1cd74409ae v0.9
 ae3f0b0e7ab685d505f735ef8a43ea8a370e8741 v0.10
 f6440e0bda586b576e819b5320e709d88295c08d v0.11
+9f152876156ec9ca143f1c92751454ab5f5b67d8 v0.12