diff -r 9d15b4fca316 -r 7ab88846ce7d .hgtags
--- 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