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.

Reply via email to