--- a/.hgtags	Mon Apr 08 13:37:13 2019 +0200
+++ b/.hgtags	Sun May 26 22:22:59 2019 +0200
@@ -2,3 +2,4 @@
 6475b6974bad0dd32ad1ab67affe6699ec069bd5 v0.9
 a70cfa62ddfac053849f229d95ae55fceb733af2 v0.10
 34d3e69671306eb2271fd104b2b7174e41d32e64 v0.11
+fb8bc4463a4426acecc866afe4ded30df8432d04 v0.12