Re: [PATCH] Fix GDB build when using --disable-gdbmi

Simon Marchi
2019-05-10T22:07:48Z

On 2019-05-10 5:16 p.m., Tom Tromey wrote:
>>>>>> "Simon" == Simon Marchi <simon.marchi@efficios.com> writes:
>
> Simon> I tried this, and I prefer the result. WDYT?
>
> Thanks for doing this. It looks good to me.
>
> Tom
>

Thanks, I pushed it.

Simon