diff -r c03c2bf4ef8a -r f775dfb55655 src/Pure/General/mercurial.scala
--- a/src/Pure/General/mercurial.scala	Mon May 30 11:34:25 2022 +0200
+++ b/src/Pure/General/mercurial.scala	Mon May 30 11:51:34 2022 +0200
@@ -502,7 +502,7 @@
     -F RULE      add rsync filter RULE (e.g. "protect /foo" to avoid deletion)
     -R ROOT      explicit repository root directory
                  (default: implicit from current directory)
-    -T           thorough check of file content (default: time and size)
+    -T           thorough treatment of file content and directory times
     -f           force changes: no dry-run
     -n           no changes: dry-run
     -r REV       explicit revision (default: state of working directory)