|
@terryjreedy: Status check is done, and it's a failure ❌ . |
|
Github thinks this can be merged, as shown by the clean diff. Travis agrees and passes this. Appveyor says "unable to build non-mergeable pull request" with no link to any info why or to restart. I will close and reopen once, and then close and re-backport, and if neither work, ask for someone else to investigate and maybe manually merge. Edit: I forgot that backports are deleted when closed. One to re-backport. |
|
@terryjreedy: Status check is done, and it's a failure ❌ . |
|
@terryjreedy: Status check is done, and it's a failure ❌ . |
|
@terryjreedy: Status check is done, and it's a failure ❌ . |
|
@terryjreedy: Status check is done, and it's a failure ❌ . |
Also fix a name misspelling.
(cherry picked from commit 45bc61b)
Co-authored-by: Terry Jan Reedy tjreedy@udel.edu
https://bugs.python.org/issue37149