log src/readline-2-history.patch @ 5515:d46a116f2c8d

age author description
Thu, 04 Apr 2019 11:28:25 -0400 John Donoghue Add fix to readline 7+ windows bug for writing history to existing file