mirror of
https://github.com/davidhalter/jedi.git
synced 2026-04-25 21:04:02 +08:00
ee5f96f119
The bug was introduced when I merged branch 'interpreter-api' at5f2477d5bf. This patch redo (part of)2846fe980b.