diff -r e1c1a3d6833d -r 617bfb5a95c8 .hgtags
--- a/.hgtags Wed Dec 07 13:26:15 2022 +0100
+++ b/.hgtags Wed Dec 07 13:26:35 2022 +0100
@@ -1,1 +1,2 @@
7157a39d4a0f9a6b1acece2c03244f3b03d94f23 release-10.0.0
+bb503bb538db04aa0248cb280ed1872bd4f319a0 release-10.0.1