mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-08 04:54:47 +08:00
One change is a Jedi issue, Jedi cannot really deal with __new__. The other is a typeshed issue. "function" should not be defined in the stubs.