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

--- Comment #11 from Christopher Albert <albert at tugraz dot at> ---
Thank you, Andre! I am impressed how fast and professionally this was fixed.

Reply via email to