On 3/13/20 9:50 AM, Marek Polacek wrote:
On Fri, Mar 13, 2020 at 09:46:40AM -0600, Martin Sebor via Gcc wrote:
It looks as though commits with bug fixes appear in Bugzilla comments
made by others(*). Fox instance, commit r10-7151 for PR 92071 shows
in comment #16 on the bug under Martin Liška's name.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92071#c16
Similarly, commits r9-8372, r10-7152, and r8-10121 show up in PR 94119
in comments with Martin's name on them:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94119
and likewise here:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91913
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94163
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94154
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94063
Is this a known problem?
[*] I haven't seen this for others so maybe Martin's account got messed
up in the migration somehow?
The authors of those commits are correct, it's just that the commit-to-Bugzilla
sync is broken at the moment and Martin L. was doing it manually.
I see. Thanks for the explanation (and to Martin for all the work
to patch up the problem while it's being solved)!
Martin
