# HG changeset patch
# User wenzelm
# Date 1581538684 -3600
# Node ID 8b0b8b9ea653364a05070eb6ae943947b030b6b5
# Parent  760e19aa9b0971e6667ae9c860644aed4255f128
afford newer Mercurial version, just before odd problems in 4.0 and 4.1;

diff -r 760e19aa9b09 -r 8b0b8b9ea653 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"