Thanks for the nudge.
If anyone is interested (or could approve to make the pipeline run), here's the PR: https://github.com/python/cpython/pull/29217 _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/PNWLLIMPL7O5N7OK7MUXMIHHUWJGT3QO/ Code of Conduct: http://python.org/psf/codeofconduct/
