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

[Simen Heggestøyl]

Leo Liu <sdl.web@gmail.com> 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