--- a/.hgtags	Wed Jun 05 17:38:32 2019 +0200
+++ b/.hgtags	Mon Jul 29 11:40:16 2019 +0200
@@ -79,3 +79,4 @@
 8c4289d0e91e95b3281c378e1ac3f4ff4678b4d3 8.4.0
 33c617626fd90a0a00e831b4762f64fecb609317 8.5.0
 05c9dcf5512ed77490a35b4d6b1c3fe860259f48 8.5.1
+756db65030c64b22836fe236d1db3b95477e3ef7 9.0.0