➜

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 18894
Status merged
Title [3.8] bpo-39828: Fix json.tool to catch BrokenPipeError (GH-18779).
History
Date User Action Args
2020-03-10 08:14:10corona10setstatus: open -> merged
2020-03-10 07:56:54corona10linkissue39828 pull_requests
2020-03-10 07:56:54corona10create