[PATCH 5/7] Close file handle of empty history file

Wed May 27 18:27:54 GMT 2020

On Wed, May 27, 2020 at 12:38 PM Hannes Domani via Gdb-patches
<gdb-patches@sourceware.org> wrote:
>  Am Mittwoch, 27. Mai 2020, 16:33:40 MESZ hat Tom Tromey <tom@tromey.com> Folgendes geschrieben:
> > Imports of readline are done sporadically, not on any real schedule.
> > If there's been official releases, I guess we should do one though :)
>
> There has not been a newer official release then the one currently in gdb.

Well... readline's release process is a bit weird. There has been an
"official patch":
https://lists.gnu.org/archive/html/bug-readline/2019-08/msg00004.html

(actually several,
https://lists.gnu.org/archive/html/bug-readline/2020-02/threads.html)

Christian