--- a/.hgtags	Sat Oct 07 17:37:40 2023 +0200
+++ b/.hgtags	Sat Oct 07 17:38:53 2023 +0200
@@ -62,3 +62,4 @@
 75476c0b400db6db4e870a66259dc09396f180a5 release-10.2.3
 abe45b434e6cd1da9c4a7bb1f08030a9a2c52772 release-10.2.4
 0e83bc0cc7fd9ccabe6afb9e1063a0ec0bd624b2 release-10.3.0
+5c77d52e97cd0a972df8f3a9ae01d2e7137681ca release-10.3.1