--- a/.hgtags Wed Sep 06 18:10:44 2023 +0200
+++ b/.hgtags Wed Sep 06 18:11:10 2023 +0200
@@ -265,3 +265,4 @@
bb42988c7e156931b0ff1e93732b98173ebbcb7f 6.5rc0
3ffc7209bbae5804a53084c9dc2d41139e88c867 6.5
787af4e0e8b787e1b77a8059926b123730a4cd01 6.5.1
+5a8b5420103937fca97c584c5162178eed828ada 6.5.2