Johannes Reiff <m...@jreiff.de> added the comment:
It has been almost a month since the last update, so pinging as suggested in the Developer's Guide. Do I need to do something before the PR can be merged? ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue41402> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com