mirror of
https://github.com/davidhalter/jedi.git
synced 2026-11-03 00:37:31 +08:00
See discussion at https://github.com/davidhalter/jedi/pull/691#issuecomment-182815864
See discussion at https://github.com/davidhalter/jedi/pull/691#issuecomment-182815864