Subject: Re: bug#70007: [PATCH] native JSON encoder

From: Eli Zaretskii <[email-masked]>
Date: Sat, 07 Sep 2024 10:26:39 +0300

> From: Stefan Kangas <[email-masked]>
> Date: Sat, 31 Aug 2024 15:15:25 -0700
> Cc: [email-masked], [email-masked], [email-masked], 
> 	[email-masked]
> 
> Stefan Monnier <[email-masked]> writes:
> 
> >> And against the additional variable to make this more
> >> backward-compatible?
> >
> > Yup.  The var would be my second-best choice (and I assume it's
> > immediately declared obsolete).
> 
> I tend to agree with Stefan M here.

Thanks.

Andrea, would you please voice your opinion on this?