[Bug web/91321] commit mails with PR d/1234 do not get to bugzilla

2020-01-21 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91321 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug web/91321] commit mails with PR d/1234 do not get to bugzilla

2019-08-01 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91321 Richard Biener changed: What|Removed |Added CC||fche at redhat dot com --- Comment #1 f