mirror of
https://github.com/davidhalter/jedi.git
synced 2026-06-18 11:15:51 +08:00
a3410f124a
See also comment of https://github.com/davidhalter/jedi/pull/1614#issuecomment-647054740