On 6/1/23 13:12, Andrew Burgess via Gdb-patches wrote:
> Reported this issue on the readline list:
> 
>    https://lists.gnu.org/archive/html/bug-readline/2023-06/msg00000.html

I've updated the patch to mention this issue, and committed.

Thanks,
- Tom