➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

URL PR 10275
Status merged
Title bpo-35081: Rename internal headers
History
Date User Action Args
2018-11-12 15:53:41vstinnersetstatus: open -> merged
2018-11-01 02:38:41vstinnerlinkissue35081 pull_requests
2018-11-01 02:38:41vstinnercreate