>>>>> "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