Fix bugs in artichoke-readline
after reading bash manual
#1873
This job succeeded
Loading
artichoke-readline
after reading bash manual
#1873