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