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

--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot 
Uni-Bielefeld.DE> ---
> Should be fixed now I believe.

It is indeed: thanks for the quick fix.

Reply via email to