# HG changeset patch
# User wenzelm
# Date 1573736113 -3600
# Node ID 18f87bdbc812d2402deee3c8b67cb5e07b2359c9
# Parent  beb781551a6603ce10af3a17c19a0b7fca7ae088
tuned message;

diff -r beb781551a66 -r 18f87bdbc812 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 14 13:48:31 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 14 13:55:13 2019 +0100
@@ -232,7 +232,7 @@
     progress.bash(cwd = root_path.file, echo = true,
       script = """
         set -e
-        echo "Cloning distribution repositories"
+        echo "Cloning distribution repositories:"
         git clone https://github.com/phacility/libphutil.git
         git clone https://github.com/phacility/arcanist.git
         git clone https://github.com/phacility/phabricator.git