mirror of
https://github.com/davidhalter/jedi.git
synced 2026-06-18 15:08:03 +08:00
b2e647d598
See explanation in https://github.com/davidhalter/jedi/pull/1819#issuecomment-970776091