--- a/.hgtags Wed Feb 20 11:30:49 2019 +0100
+++ b/.hgtags Mon Apr 08 13:37:14 2019 +0200
@@ -1,3 +1,4 @@
c0e445dda2c5194803b067e5f647599ec6d4008e v0.8
5f79c1a30f9fce88c2a351c085490cc09d523960 v0.9
96a623fca71e5d3fa67eb52a8fe9fcc3eeb130fa v0.10
+39c2e7f31e3605269c56677c3df2e82ba13d5ac1 v0.11