Ken Jin <kenjin4...@gmail.com> added the comment:
@paul-dest Anyone can add them using the bug tracker Web interface in the "Nosy List" field above the message box. Yes they will receive a notification. Adding people sends them an email and subscribes them to this issue (even if closed). I don't know if Jukka is on this bug tracker (at the very least I can't find them in the search). You may have better luck getting an opinion from others if you send an email to typing-sig instead https://mail.python.org/archives/list/typing-...@python.org/. That's usually where PEP change/interpretation-related discussion goes (from my own experience). ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue43512> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
