--- a/.hgtags Mon Apr 08 13:37:16 2019 +0200
+++ b/.hgtags Sun May 26 22:22:59 2019 +0200
@@ -1,3 +1,4 @@
b5a5bf32f7ffb039517be2e3944c1634bb72be7a v0.9
534535aa4de49e5d9134c2424eccfeaf38dbaa5f v0.10
de4c706edf41b30306cf9c118215636c14440702 v0.11
+104296eb0400653855ae3b4d505dde5b57da3511 v0.12