https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91541
--- Comment #16 from Jonathan Wakely <redi at gcc dot gnu.org> --- It had nothing to do with Git. It's just a python script that says commit r279763 is related to PR xxxxx not PR yyyyy.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91541
--- Comment #16 from Jonathan Wakely <redi at gcc dot gnu.org> --- It had nothing to do with Git. It's just a python script that says commit r279763 is related to PR xxxxx not PR yyyyy.