https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108473
--- Comment #5 from Sam James <sjames at gcc dot gnu.org> --- (In reply to Sam James from comment #4) > (In reply to Mark Wielaard from comment #3) > > Have those patches been upstreamed? > > A bunch of them are cherry-picks either from Bugzilla proper or Mozilla's > fork (yes really) of it but Bugzilla development has been stalled for a > while. > > I'll see about submitting the ones which aren't upstream already now. As far as I can tell, the missing stuff is gerrit/flyspray/chromium/gitlab, and all of those but gerrit are in Mozilla's fork anyway which I think is going to be reconciled at some point.