Subject: bug#16373: 24.3; json-encodes escapes / in strings

From: Leo Liu <[email-masked]>
Date: Tue, 07 Jan 2014 00:05:16 +0800

(json-encode "/") -> "\"\\/\""

this makes path names look really ugly. Is it required?

Leo