--- a/.hgtags Mon Apr 08 13:37:19 2019 +0200
+++ b/.hgtags Sun May 26 22:23:00 2019 +0200
@@ -2,3 +2,4 @@
bfc258d51baa3e3c9203fc2b877c7ff6e5d2079a v0.9
bbd89ca03878cf775d6ee19caad149fc3f630147 v0.10
b9625491fbf5c24ac547cc9bbd769340a0f5271f v0.11
+2efc95e208ea2e8336950478ee84725b8de86914 v0.12