--- a/.hgtags	Mon Apr 08 13:37:21 2019 +0200
+++ b/.hgtags	Sun May 26 22:23:00 2019 +0200
@@ -2,3 +2,4 @@
 6ba3fcdbd93d26a01dca67cf0c7f54252850cbc5 v0.9
 babbd10bed297a0f6a9e9a5aaa71555ffee85ca6 v0.10
 68c084fb822fd87bf64557e0f9445e66618d102f v0.11
+3c668e5346c0a821c62bea02002f775c96516f05 v0.12