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