On 29.06.20 07:45, Armin Rigo wrote:
Hi Ram,On Sun, 28 Jun 2020 at 21:35, Ram Rachum <[email protected]> wrote:We discussed that maybe I should make that change and open a PR for it.I'm +1 on the idea.
Sounds good to me as well! Thanks for putting though into this! CF _______________________________________________ pypy-dev mailing list [email protected] https://mail.python.org/mailman/listinfo/pypy-dev
