On 6/9/23 16:26, Tom Tromey wrote: >>>>>> "Luis" == Luis Machado via Gdb-patches <gdb-patches@sourceware.org> writes: > > Luis> Oops. How about the following to address this and other such issues I found? > > Looks good, thank you. > > Reviewed-By: Tom Tromey <tom@tromey.com> > > Tom Thanks. Pushed now.