--- a/.hgtags	Mon Apr 08 13:37:16 2019 +0200
+++ b/.hgtags	Sun May 26 22:22:59 2019 +0200
@@ -2,3 +2,4 @@
 f3a67148f520096397223bd20b1aa3549907b0f1 v0.9
 e54814c9a54de31cf832bc8b8f1fba892637eec3 v0.10
 129b8cca9b980d2856d614917e70cf465c4f1841 v0.11
+4ad44f170a58bbd4a6de5eb201a201eeb33893b0 v0.12