--- a/.hgtags Mon Apr 08 13:37:18 2019 +0200
+++ b/.hgtags Sun May 26 22:23:00 2019 +0200
@@ -2,3 +2,4 @@
4c578ae8e68a18790ea67c8a510fd406a3b0a160 v0.9
34a7957929c323a0463c1f58e4a38e7a7ea8dab3 v0.10
2dad3d5de1f2d0a8d0b32f3661c28858269854ed v0.11
+cbb9c5051c0a363fcf6ae2eec31b4489c5bd3727 v0.12