--- a/.hgtags Sun Oct 06 22:12:47 2019 +0200
+++ b/.hgtags Sun Oct 06 22:58:38 2019 +0200
@@ -5,3 +5,4 @@
1f52b84932683d9240e3cf1fcc31f9e69fcd15da v0.5
1dc027689f93bee6fb8b020677e913b03b7a1262 v0.6
21dfb69028a0ec94d2f32ad575c9613ef3c25e01 v0.7
+fe39d69408219947c913efd63f7cce47d3dc3ea8 v0.8