https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61249
--- Comment #5 from Michael Tautschnig <mt at debian dot org> --- Created attachment 32843 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32843&action=edit Update documentation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61249
--- Comment #5 from Michael Tautschnig <mt at debian dot org> --- Created attachment 32843 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32843&action=edit Update documentation