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. Armin _______________________________________________ pypy-dev mailing list [email protected] https://mail.python.org/mailman/listinfo/pypy-dev
