--- a/.hgtags	Tue Apr 23 15:30:39 2019 +0200
+++ b/.hgtags	Tue Apr 23 15:57:04 2019 +0200
@@ -78,3 +78,4 @@
 97b18934d6db9e7e7eaa3fb656c0411d7f43af26 8.3.3
 8c4289d0e91e95b3281c378e1ac3f4ff4678b4d3 8.4.0
 33c617626fd90a0a00e831b4762f64fecb609317 8.5.0
+05c9dcf5512ed77490a35b4d6b1c3fe860259f48 8.5.1