>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes: >> Here's the updated patch 1. >> Eli> Please look at the relevant sections of gdbint.texinfo and see if Eli> something needs an update there, due to these changes. >> >> I made a small addition, please review. Eli> OK, thanks. Thanks. I've pushed in this entire series. Tom