afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
authorwenzelm
Wed Feb 12 21:18:04 2020 +0100 (13 days ago)
changeset 714408b0b8b9ea653
parent 71439 760e19aa9b09
child 71441 4e66867fd63f
afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
src/Pure/Tools/phabricator.scala
     1.1 --- a/src/Pure/Tools/phabricator.scala	Wed Feb 12 16:30:23 2020 +0100
     1.2 +++ b/src/Pure/Tools/phabricator.scala	Wed Feb 12 21:18:04 2020 +0100
     1.3 @@ -63,7 +63,7 @@
     1.4    val alternative_system_port = 222
     1.5    val default_server_port = 2222
     1.6  
     1.7 -  val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-2.8.2.tar.gz"
     1.8 +  val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-3.9.2.tar.gz"
     1.9  
    1.10  
    1.11