--- a/.hgtags Mon Apr 08 13:37:14 2019 +0200
+++ b/.hgtags Sun May 26 22:22:59 2019 +0200
@@ -1,3 +1,4 @@
7473a337e1ced0442bdfcffe50f8f22c711e8706 v0.9
d54f373cd9c4ac7f1b62572b604413dea76451e6 v0.10
5201d93f8bdd0d8d5253743c7f3c41d915b098c1 v0.11
+60183af4604e0573d45f20af10866c3837db5918 v0.12