https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91541
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Thomas Koenig from comment #12) > (In reply to Thomas Koenig from comment #11) > > *sigh* corrected in the original PR. Please add a 'fixup' to the bugdb.py file in the gcc-conversion repo, so this can be fixed in the Git conversion (I already did this for several of your commits with wrong PR numbers).
