➜

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 18437
Status closed
Title [3.8] bpo-39600, IDLE: Remove duplicated font names (GH-18430)
History
Date User Action Args
2020-02-10 21:18:25miss-islingtonsetstatus: open -> closed
2020-02-10 20:47:15miss-islingtonlinkissue39600 pull_requests
2020-02-10 20:47:15miss-islingtoncreate