--- a/.hgtags Thu Jun 22 12:36:49 2023 +0200
+++ b/.hgtags Thu Jun 22 14:24:21 2023 +0200
@@ -262,3 +262,4 @@
fc445f8abcf90b33db7c463816a1b3560681767f 6.4.3
da372c745e0f053bb7a64e74cccd15810d96341d 6.4.4
271a4ab29605ffa0bae5d3208eaa21a95427ff92 6.4.5
+bb42988c7e156931b0ff1e93732b98173ebbcb7f 6.5rc0