diff -r 0cea23acbdaa -r 77441c09345f .hgtags
--- a/.hgtags	Wed Jun 26 19:36:01 2024 +0200
+++ b/.hgtags	Wed Jun 26 19:36:25 2024 +0200
@@ -2,3 +2,4 @@
 9fb33533504a97f91e88d5379ba2092d000cf61b help
 9fb33533504a97f91e88d5379ba2092d000cf61b help
 0000000000000000000000000000000000000000 help
+0cea23acbdaad0f943a423e8dc3f1f981a0193bf rel-0.3.25