On 29.06.20 07:45, Armin Rigo wrote:
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.
Sounds good to me as well! Thanks for putting though into this! CF _______________________________________________ pypy-dev mailing list pypy-dev@python.org https://mail.python.org/mailman/listinfo/pypy-dev
