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

From: Stefan Monnier <[email-masked]>
Date: Sun, 25 Aug 2024 15:20:18 -0400

> 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).

        Stefan