src/Pure/Tools/phabricator.scala

--- a/src/Pure/Tools/phabricator.scala	Sun Apr 12 21:53:58 2020 +0100
+++ b/src/Pure/Tools/phabricator.scala	Mon Apr 13 16:16:22 2020 +0200
@@ -162,7 +162,7 @@
       else {
         val config = get_config(name)
         val result = progress.bash(Bash.strings(more_args), cwd = config.home.file, echo = true)
-        if (!result.ok) error("Return code: " + result.rc.toString)
+        if (!result.ok) error(result.print_return_code)
       }
     })