
May 5, 2021
12:40 a.m.
Terry J. Reedy <tjreedy@udel.edu> added the comment: bedevere-bot malfunctioned. Lukasz merged PR 25873 into main, and I verified the change on the main branch. But the PR is listed above as closed, not merged, and commit 3b200b2aa648fcc8a2673871807c1463afe00195 is not listed. ---------- nosy: +Mariatta, lukasz.langa _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue44025> _______________________________________