871afd0 include a patch to work with newer prompt_toolkit

Authored and Committed by itamarjp 3 years ago
    include a patch to work with newer prompt_toolkit
    
        
file modified
+6 -2