mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-24 06:11:32 +08:00
The bug was introduced when I merged branch 'interpreter-api' at5f2477d5bf. This patch redo (part of)2846fe980b.
The bug was introduced when I merged branch 'interpreter-api' at5f2477d5bf. This patch redo (part of)2846fe980b.