871afd0 include a patch to work with newer prompt_toolkit

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