http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54419

--- Comment #64 from paul.richard.thomas at gmail dot com <paul.richard.thomas 
at gmail dot com> 2012-09-10 10:00:09 UTC ---
Seconded!  In return, I promise that, as soon as I have time, I'll
update to 21st century tools :-)

Thanks

Paul

On 9 September 2012 20:17, dominiq at lps dot ens.fr
<gcc-bugzi...@gcc.gnu.org> wrote:
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54419
>
> --- Comment #61 from Dominique d'Humieres <dominiq at lps dot ens.fr> 
> 2012-09-09 18:17:09 UTC ---
>> patch committed
>
> Thanks.
>
> --
> Configure bugmail: http://gcc.gnu.org/bugzilla/userprefs.cgi?tab=email
> ------- You are receiving this mail because: -------
> You are on the CC list for the bug.

Reply via email to