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. :-) Gerald
