Steve Dower <steve.do...@python.org> added the comment:
Thanks for the ping (I don't see GitHub notifications - I get 1000s per day and it's not feasible to read them). I left one more comment on the PR, but then it's good to go! ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue31512> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
