--- a/.hgtags	Thu Jul 06 16:02:59 2023 +0200
+++ b/.hgtags	Thu Jul 06 16:04:18 2023 +0200
@@ -263,3 +263,4 @@
 da372c745e0f053bb7a64e74cccd15810d96341d 6.4.4
 271a4ab29605ffa0bae5d3208eaa21a95427ff92 6.4.5
 bb42988c7e156931b0ff1e93732b98173ebbcb7f 6.5rc0
+3ffc7209bbae5804a53084c9dc2d41139e88c867 6.5