--- a/mercurial/util.py	Fri Sep 07 17:38:52 2007 +0200
+++ b/mercurial/util.py	Mon Sep 10 23:36:01 2007 +0200
@@ -1628,3 +1628,7 @@
         if path.startswith('//'):
             path = path[2:]
     return path
+
+def uirepr(s):
+    # Avoid double backslash in Windows path repr()
+    return repr(s).replace('\\\\', '\\')