Re: [PATCH,WWWDOCS] htdocs: rotate news

2023-01-12 Thread Jose E. Marchesi via Gcc-patches
> On Fri, 23 Dec 2022, Jose E. Marchesi via Gcc-patches wrote: >> htdocs/index.html | 24 >> htdocs/news.html | 24 >> 2 files changed, 24 insertions(+), 24 deletions(-) > > Okay, thank you. > > And you can consider this kind of change preapprov

Re: [PATCH,WWWDOCS] htdocs: rotate news

2023-01-11 Thread Gerald Pfeifer
On Fri, 23 Dec 2022, Jose E. Marchesi via Gcc-patches wrote: > htdocs/index.html | 24 > htdocs/news.html | 24 > 2 files changed, 24 insertions(+), 24 deletions(-) Okay, thank you. And you can consider this kind of change preapproved. Or fallin

[PATCH,WWWDOCS] htdocs: rotate news

2022-12-23 Thread Jose E. Marchesi via Gcc-patches
--- htdocs/index.html | 24 htdocs/news.html | 24 2 files changed, 24 insertions(+), 24 deletions(-) diff --git a/htdocs/index.html b/htdocs/index.html index 2ddee6f6..2ab65a95 100644 --- a/htdocs/index.html +++ b/htdocs/index.html @@ -92,30 +92