Sorry, something went wrong.
|
@vstinner @shihai1991 This is ready for review |
Sorry, something went wrong.
There was a problem hiding this comment.
LGTM, with a minor suggestion on the NEWS entry (please update it).
But right now, I cannot merge the PR: https://mail.python.org/archives/list/python-dev@python.org/thread/KMXK6BQWQZRR2TGVRLECMR7CUVIVTUMQ/
Please ping me when the workflow will be repaired, so I will merge your PR.
Sorry, something went wrong.
|
@vstinner looks like the doc issue is fixed in the CI. |
Sorry, something went wrong.
https://bugs.python.org/issue1635741