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

Tom Tromey
2020-05-27T14:33:38Z

>>>>> "Hannes" == Hannes Domani via Gdb-patches <gdb-patches@sourceware.org> writes:

Hannes> Apparently, this was already fixed in readline master:
Hannes> http://git.savannah.gnu.org/cgit/readline.git/commit/?id=f585708e822e021e15e5bece1de482b63ba581df

Hannes> In that case I don't mind just leaving it as is, since it will be fixed
Hannes> eventually anyways with the next update.

If it's upstream, it is fine if you want to commit it to gdb as well.

Imports of readline are done sporadically, not on any real schedule.
If there's been official releases, I guess we should do one though :)

Tom