--- a/.hgtags Mon Apr 08 13:37:12 2019 +0200
+++ b/.hgtags Sun May 26 22:22:59 2019 +0200
@@ -2,3 +2,4 @@
7c05cf64208815deb3eeda87199901a6762d89ce v0.9
d36343c539c7cdaedd26b8f357aa47489d70d299 v0.10
eda0606a40c7aa7aa9348471c6a179a6992a4a30 v0.11
+7b75b6af3cbf9b449796e74fc17d8d6661edc1cc v0.12