Re: [patch 1/2] Drop gdbtui [+doc changes]

Jan Kratochvil
2011-12-22T17:07:41Z

On Thu, 22 Dec 2011 12:00:02 +0100, Eli Zaretskii wrote:
> Would it be better to say
>
> The binary "gdbtui" can no longer be built or installed.

That is correctly understandable by me.

Thanks,
Jan