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

--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
If there's anything else needed, let me know.
In the meantime, back to booting Linux :-)

Reply via email to