diff -r 043f7cad5122 -r d06b6bd5bedf .hgtags
--- a/.hgtags	Mon Apr 08 13:37:15 2019 +0200
+++ b/.hgtags	Sun May 26 22:22:59 2019 +0200
@@ -1,1 +1,2 @@
 0fdfbf39f19b1efc970ef9b06992b82b05d42032 v0.11
+043f7cad51229c3a052156f69f177ef2ec3c263d v0.12