--- a/.hgtags Mon Nov 06 15:32:30 2023 +0100
+++ b/.hgtags Mon Nov 06 15:38:15 2023 +0100
@@ -266,3 +266,4 @@
3ffc7209bbae5804a53084c9dc2d41139e88c867 6.5
787af4e0e8b787e1b77a8059926b123730a4cd01 6.5.1
5a8b5420103937fca97c584c5162178eed828ada 6.5.2
+c083d9776cb2fb6056715b2988d1ea48055f3162 6.5.3