320e7eb Adjustment for newer jedi (Backport from upstream git)

Authored and Committed by ellert 5 years ago
    Adjustment for newer jedi (Backport from upstream git)
    
        
file modified
+27 -17