https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71749
--- Comment #5 from Thomas Petazzoni <thomas.petazz...@free-electrons.com> --- Sure, feel free to submit it. If that's easier for the gcc submission process, feel free to submit it under your own name: for such a small contribution, I really don't care if my authorship is preserved.
