# HG changeset patch
# User wenzelm
# Date 1706048151 -3600
# Node ID 9bc62f636fc47c8ebe528482fa4ee847659f16d7
# Parent  a0174eeca5cebdb2e296c71aeadce1171243fac8
clarified Mercurial version: presumably the last version that supports both python2 and python3;

diff -r a0174eeca5ce -r 9bc62f636fc4 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Jan 23 21:00:54 2024 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Jan 23 23:15:51 2024 +0100
@@ -205,7 +205,7 @@
   def standard_mercurial_source: String = {
     val release = Linux.Release()
     if (release.is_ubuntu_20_04) "https://www.mercurial-scm.org/release/mercurial-3.9.2.tar.gz"
-    else "https://www.mercurial-scm.org/release/mercurial-6.1.1.tar.gz"
+    else "https://www.mercurial-scm.org/release/mercurial-6.1.4.tar.gz"
   }