➜

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 32053
Status merged
Title bpo-32033: Finalize WASI configure options (GH-32053)
History
Date User Action Args
2022-03-22 17:51:56christian.heimessetstatus: open -> merged
title: bpo-32033: Finalize WASI configure options -> bpo-32033: Finalize WASI configure options (GH-32053)
2022-03-22 16:29:51christian.heimeslinkissue32033 pull_requests
2022-03-22 16:29:51christian.heimescreate