Re: [PATCH v4 00/12] GDB support for more powerpc registers on linux

Pedro Franco de Carvalho
2018-08-16T19:23:25Z

Eli Zaretskii <eliz@gnu.org> writes:

> This is OK, thanks.

Thank you!