diff -r 691fae7db8fe -r c4b0d5cc34bc .hgtags
--- a/.hgtags	Fri Mar 22 11:53:00 2019 +0000
+++ b/.hgtags	Mon Aug 31 07:07:40 2020 +0100
@@ -5,3 +5,5 @@
 8a668d0a0d108a22de14c3ba75549b00de4409cb 0.5.5
 52ac1fcbdbbea7cc5cde1c865fc0e5ed9f799f43 0.5.6
 e07ceadab395328f24fdeaf689d3dbe513d5cf3b 0.5.7
+bbbbf18518568270fbce822b2db7431c3afe7f31 0.5.8
+abdfa041003249e3aab5894dace9bb321d0b6a3b 0.5.8