1 files changed, 6 insertions, 0 deletions
diff --git a/misc/mntent_r.c b/misc/mntent_r.c
index 3a47f61f38..2623ec3b70 100644
--- a/misc/mntent_r.c
+++ b/misc/mntent_r.c
@@ -102,6 +102,12 @@ decode_name (char *buf)
 	*wp++ = '\\';
 	rp += 1;
       }
+    else if (rp[0] == '\\' && rp[1] == '1' && rp[2] == '3' && rp[3] == '4')
+      {
+	/* \134 is also \\.  */
+	*wp++ = '\\';
+	rp += 3;
+      }
     else
       *wp++ = *rp;
   while (*rp++ != '\0');