diff -r 8a50a666fded -r 68521c43445a .hgtags
--- a/.hgtags Wed Dec 07 13:14:43 2022 +0100
+++ b/.hgtags Wed Dec 07 13:14:57 2022 +0100
@@ -1,1 +1,2 @@
ff4fc402f193cd0d7e1601932f9bedd5a7598667 release-10.0.0
+8a50a666fded3648f97685be4e743e66dc8e4d4c release-10.0.1