mirror of
https://github.com/davidhalter/jedi.git
synced 2026-04-27 16:51:27 +08:00
a3410f124a
See also comment of https://github.com/davidhalter/jedi/pull/1614#issuecomment-647054740