src/Pure/General/mercurial.scala

--- a/src/Pure/General/mercurial.scala	Mon Nov 28 11:38:55 2022 +0000
+++ b/src/Pure/General/mercurial.scala	Wed Nov 30 15:03:31 2022 +0100
@@ -74,7 +74,7 @@
         Bytes.write(archive_path, content.bytes)
         progress.echo("Unpacking " + rev + ".tar.gz")
         Isabelle_System.gnutar("-xzf " + File.bash_path(archive_path),
-          dir = dir, original_owner = true, strip = 1).check
+          dir = dir, original_owner = true, strip = true).check
       }
     }
   }