Re: [PATCH] Move gdbserver to top level

Tom Tromey
2020-02-14T18:43:28Z

>>>>> "Sergio" == Sergio Durigan Junior <sergiodj@redhat.com> writes:

Sergio> I'm attaching a patch that works OK for me here. WDYT?

This one includes that:

https://sourceware.org/ml/gdb-patches/2020-02/msg00426.html

I see that Luis responded. I'll read that and see what's up.

Tom