Ivan Levkivskyi added the comment: Something is strange: PRs 709, 723, 724 are shown as open in the "Pull Requests" section on this page. However, all four PRs are already merged.
Are other see the same? Shouldn't status be automatically updated? ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue29116> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
