afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
authorwenzelm
Wed, 12 Feb 2020 21:18:04 +0100
changeset 71652 8b0b8b9ea653
parent 71651 760e19aa9b09
child 71653 4e66867fd63f
afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
src/Pure/Tools/phabricator.scala
--- 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"