Adrian Garcia Badaracco <adr...@adriangb.com> added the comment:

Apologies if that was noise, I filed an issue on the MyPy issue tracker: 
https://github.com/python/mypy/issues/12261

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue44807>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to