[pushed] Re: [PATCH] Delete Tru64 support

[Pedro Alves]

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