On 5/24/23 20:13, Andrew Burgess wrote:
Tom de Vries <[email protected]> writes: Have you posted this to the readline list? I think it would be best if we at least posted patches like this upstream before we merge them.
Yes, I send this to both gdb-patches and bug-readline, as you can see in the CC of your reply ;)
Thanks, - Tom
