On Thu, 17 Apr 2025, Robert Dubner wrote: > In the absence of commentary, I have pushed those documentation changes.
This is fine. You can also copy me on wwwdocs changes, though that's certainly not required (and I do have filters to focus on these on gcc-patches). Gerald
