commit | 1efd9824d892b514d879dffe09c16b009363f132 | [log] [tgz] |
---|---|---|
author | Nadeem Vawda <nadeem.vawda@gmail.com> | Sat Feb 02 20:52:54 2013 +0100 |
committer | Nadeem Vawda <nadeem.vawda@gmail.com> | Sat Feb 02 20:52:54 2013 +0100 |
tree | f01627662881deb1b84435eb4052198c4932c0d2 | |
parent | 426453282cd7ff2663771897516cb805e0341c31 [diff] |
Back out fix for issue #13886; it introduced a new bug in interactive readline use.