--- a/.hgtags Fri May 29 17:45:14 2020 +0200
+++ b/.hgtags Fri May 29 17:47:17 2020 +0200
@@ -6,3 +6,4 @@
ef8a64173c96c73ad1c963981f5477381c11a72b 0.9.5
28b5510492ba5805a75f75fd6b2ba56f1a4e7530 0.9.6
79fa4a41420fde8c75573566fb262e40519f8625 0.9.8
+9d15b4fca316ca0ebe7e4ac6358beabdcbf6efae 0.9.8e4