Ned Deily <n...@python.org> added the comment:
What should we do with this issue? Raymond, it sounds like you think the proposed PR should not be merged, is that right? If so, should the issue and PR be closed? Other opinions? I would like to resolve this so we can either merge or close PR 5667. Thanks! ---------- nosy: +ned.deily _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue21196> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com