--- a/.hgtags Fri Jun 07 02:24:08 2019 +0200
+++ b/.hgtags Fri Jun 07 02:25:02 2019 +0200
@@ -79,3 +79,4 @@
8c4289d0e91e95b3281c378e1ac3f4ff4678b4d3 8.4.0
33c617626fd90a0a00e831b4762f64fecb609317 8.5.0
05c9dcf5512ed77490a35b4d6b1c3fe860259f48 8.5.1
+756db65030c64b22836fe236d1db3b95477e3ef7 9.0.0