| changeset 71440 | 8b0b8b9ea653 |
| parent 71439 | 760e19aa9b09 |
| child 71550 | f2b944898636 |
--- a/src/Pure/Tools/phabricator.scala Wed Feb 12 16:30:23 2020 +0100 +++ b/src/Pure/Tools/phabricator.scala Wed Feb 12 21:18:04 2020 +0100 @@ -63,7 +63,7 @@ val alternative_system_port = 222 val default_server_port = 2222 - val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-2.8.2.tar.gz" + val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-3.9.2.tar.gz"