➜

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 18430
Status merged
Title bpo-39600, IDLE: Remove duplicated font names
History
Date User Action Args
2020-02-10 19:41:28vstinnersetstatus: open -> merged
2020-02-10 16:10:14vstinnerlinkissue39600 pull_requests
2020-02-10 16:10:14vstinnercreate