tuned;

--- 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 =