On Sat, Feb 18, 2023, 17:32 Gerald Pfeifer wrote: > That was a bit too much in terms of additions things. :-) > > Pushed. > > Gerald > --- > htdocs/gcc-12/changes.html | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/htdocs/gcc-12/changes.html b/htdocs/gcc-12/changes.html > index 32403579..fd4062e6 100644 > --- a/htdocs/gcc-12/changes.html > +++ b/htdocs/gcc-12/changes.html > @@ -153,7 +153,7 @@ You may also want to check out our >