| commit | c27bcbf86316fd45180a8b881c55ed3ac7f9fa50 | [log] [tgz] |
|---|---|---|
| author | Nadeem Vawda <nadeem.vawda@gmail.com> | Sat Feb 02 20:25:19 2013 +0100 |
| committer | Nadeem Vawda <nadeem.vawda@gmail.com> | Sat Feb 02 20:25:19 2013 +0100 |
| tree | 068e6b5327cd3a1052fb882404a7bb64f9a46371 | |
| parent | 672671da47582101060819f94eb054fa344c6e5c [diff] | |
| parent | 637525718873f9c6571078e0201523438b17d341 [diff] |
Back out fix for issue #13886; it introduced a new bug in interactive readline use.