# HG changeset patch
# User wenzelm
# Date 1476280280 -7200
# Node ID 3b618d52119efa1d18cdf85d67c7a9b62a3aa348
# Parent  e573b985390c082380c242a786891135f1f2f5d5
tuned;

diff -r e573b985390c -r 3b618d52119e src/Pure/General/mercurial.scala
--- a/src/Pure/General/mercurial.scala	Wed Oct 12 15:48:05 2016 +0200
+++ b/src/Pure/General/mercurial.scala	Wed Oct 12 15:51:20 2016 +0200
@@ -47,7 +47,7 @@
     override def toString: String =
       ssh match {
         case None => root.implode
-        case Some(session) => quote(session.toString + ":" + root.implode)
+        case Some(session) => session.toString + ":" + root.implode
       }
 
     def command(name: String, args: String = "", options: String = ""): Process_Result =