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.
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.