mirror of
https://github.com/davidhalter/jedi.git
synced 2026-06-22 08:38:28 +08:00
a3410f124a
See also comment of https://github.com/davidhalter/jedi/pull/1614#issuecomment-647054740