--- a/.hgtags	Sun May 26 19:46:47 2019 +0200
+++ b/.hgtags	Sun May 26 22:23:00 2019 +0200
@@ -1,2 +1,3 @@
 2dcc22b7a42487c83f72dfdf1815593150cb3ba2 v0.10
 3f46b784b617acf154049d7c42c5fc42ae884179 v0.11
+6ee7a9e311e903a8651fc819bc3676744daf7285 v0.12