Hi Martin, On Sat, Nov 16, 2024 at 10:03:41AM +0100, Martin Uecker via Gcc wrote: > I just commited a bug fix and noticed that bugzilla was > not automatically updated. > > https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=d8af6c203f18b4fd736df9567926589d96f8e0b3 > > Did something change / break or did I do something wrong?
It looks like there was just a delay: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117548#c5 Cheers, Mark
