Thanks Terry for your comments! > I presume that most of us agree that the last option, doing both, would be > best, or at least agreeable.
I created a PR reverting the change but I (may) have found a way of doing both things :) _______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/FZKYJZXVSIDJPB5EIAC2KKVE42JXG55P/
