Re: bug#23750: 25.0.95; bug in url-retrieve or json.el

[Dmitry Gutov]

On 30.11.2016 17:42, Eli Zaretskii wrote:

> > json-encode uses the previously mentioned symbol-name, which returns
> > multibyte values. What would we do about that?
>
> Check that the value returned by symbol-name is pure-ASCII, and if so,
> make it unibyte?

In json-encode? Should it really deal with that concern explicitly?

I could understand an idea along the lines of "use a different 
algorithm", but calling encode-coding-string inside json-encode sounds odd.