--- a/.hgtags Wed Oct 02 22:28:55 2019 +0200
+++ b/.hgtags Wed Oct 02 22:32:28 2019 +0200
@@ -2,3 +2,4 @@
f07103582ef44c696abaf33d88d1a162bbf8f842 v0.2
8da11cce2c9838a975668d7980a2673886ee09e3 v0.3
9e5c3383ba5069b8ca4741fc2e561a04f4ed8441 v0.4
+1f52b84932683d9240e3cf1fcc31f9e69fcd15da v0.5