Pull Request - Python tracker

➜

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 10792
Status	merged
Title	[3.7] bpo-27903: Fix ResourceWarning in platform.dist()

History
Date	User	Action	Args
2018-11-29 11:31:10	vstinner	set	status: open -> merged
2018-11-29 11:16:30	vstinner	set	title: bpo-27903: Fix ResourceWarning in platform.dist() -> [3.7] bpo-27903: Fix ResourceWarning in platform.dist()
2018-11-29 11:15:41	vstinner	link	issue27903 pull_requests
2018-11-29 11:15:41	vstinner	create