Hi Ram, On Sun, 28 Jun 2020 at 21:35, Ram Rachum <r...@rachum.com> 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 pypy-dev@python.org https://mail.python.org/mailman/listinfo/pypy-dev
