https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124482

--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---

> 
> Will do, but right now my weekly builds are running, so the machines are
> busy.

Thanks! I will await word from you before doing anything.

Have a good weekend.

Paul

Reply via email to