diff -r 86b3d66d23aa -r e0674e028bd0 .hgtags
--- a/.hgtags	Mon Apr 08 13:37:22 2019 +0200
+++ b/.hgtags	Sun May 26 22:23:01 2019 +0200
@@ -2,3 +2,4 @@
 df60fde1f6890a2edba83eebd3372cfaf71902b2 v0.9
 8ce11a192aadab93b52d6508c2677f5a26199368 v0.10
 940bd8320e8289c05210dc332bcc95f2d4624061 v0.11
+86b3d66d23aa5786f72bd81e72a3eef3042de23a v0.12