Sun, 20 Apr 2025 11:44:46 +0200
Created global tag <release-10.0.0>.
diff -r 6f8f06913e7f -r 57793d1c3833 .hgtags --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.hgtags Sun Apr 20 11:44:46 2025 +0200 @@ -0,0 +1,1 @@ +6f8f06913e7f42472a021d3a8b1f99332dcda5ef release-10.0.0