mirror of
https://github.com/davidhalter/jedi.git
synced 2026-07-09 13:19:14 +08:00
88cfb2cb91
Note that there is http://bugs.python.org/issue31184. Fixes #925.