Andrei Kulakov <andrei....@gmail.com> added the comment:
> Of course, but the main thing is that you spotted this before the PR was > merged :) I know, better late then never but also better sooner than late :-) ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue28937> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com