Hi there. I send an email to this mailing list several days ago, and it seems like the admins of this list are either busy, or it got lost. Can you confirm, its one of those two?

Thanks

_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Member address: guido@python.org