Subject: Re: bug#16373: 24.3; json-encodes escapes / in strings
From: Simen Heggestøyl <[email-masked]>
To: Leo Liu <[email-masked]>
Cc: [email-masked]
Date: Sun, 04 Oct 2015 14:11:40 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Leo Liu <[email-masked]> writes:
> (json-encode "/") -> "\"\\/\""
>
> this makes path names look really ugly. Is it required?
>
> Leo

This was fixed in 58c86059.

To answer your question: it's not required (but permitted) that you
escape / in strings. See the "string" section at http://json.org/.

-- Simen