Terry J. Reedy <tjre...@udel.edu> added the comment:
The bots occasionally miss. PR 7885 was indeed merged even though the message has not appeared. https://github.com/python/cpython/commit/2c11e23a5a686edc69bcbb4c65f500d50d992bb3 PR 7886 was merged as the message says, even though the status was not changed. ---------- resolution: -> fixed stage: patch review -> resolved status: open -> closed _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue33885> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com