--- a/.hgtags Wed Feb 20 11:30:49 2019 +0100
+++ b/.hgtags Mon Apr 08 13:37:12 2019 +0200
@@ -1,3 +1,4 @@
82f0f8081a4efc26a9ee17aaebabfdcbdd1dde07 v0.8
7c05cf64208815deb3eeda87199901a6762d89ce v0.9
d36343c539c7cdaedd26b8f357aa47489d70d299 v0.10
+eda0606a40c7aa7aa9348471c6a179a6992a4a30 v0.11