> 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 falling under > our "obvious rule". Whichever you prefer. :-)
Understood, thanks. Pushed.
