--- a/.hgtags Mon Apr 08 13:37:14 2019 +0200
+++ b/.hgtags Sun May 26 22:22:59 2019 +0200
@@ -2,3 +2,4 @@
5f79c1a30f9fce88c2a351c085490cc09d523960 v0.9
96a623fca71e5d3fa67eb52a8fe9fcc3eeb130fa v0.10
39c2e7f31e3605269c56677c3df2e82ba13d5ac1 v0.11
+ad8e76bc916d711b556582a49a6ee7875a508754 v0.12