https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112409
--- Comment #7 from Frediano Ziglio <freddy77 at gmail dot com> --- Sorry for the noise, thanks for the informations. I didn't notice banner on top. I went back and I notice it, pretty small and it looks like a lot of other website banners for technical disruptions or cookies.
