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

--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> ---
OK thanks for the update. I think your patch for this bug is trivial enough to
not require any paperwork.

Reply via email to