mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-09-30 15:12:25 +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.