[pushed] Re: [PATCH] Delete Tru64 support

Pedro Alves palves@redhat.com
Fri Oct 17 10:27:00 GMT 2014


On 10/10/2014 09:02 PM, Eli Zaretskii wrote:
>> Date: Fri, 10 Oct 2014 20:43:10 +0100
>> From: Pedro Alves <palves@redhat.com>
>>
>> Are the NEWS and manual bits OK?
> 
> Yes, thanks.

Thank you.  I've now pushed this.

Thanks,
Pedro Alves



More information about the Gdb-patches mailing list