--- a/.hgtags Mon Apr 08 13:37:09 2019 +0200
+++ b/.hgtags Sun May 26 22:22:58 2019 +0200
@@ -2,3 +2,4 @@
b0fabeceb18ad8c1e5b0ac8e782418e34d3589e1 v0.9
87a7607d5def2e31233990eb3543e7684badbe4f v0.10
f910aa601f265897501eb48c426fdbc630168530 v0.11
+1cb4a1c9c696cc61aba47419f770d20c79972aac v0.12