On 2025-08-02 09:47, Sam James wrote:
> You can shorten sourceware (and gcc) bug URLs to:
> https://sourceware.org/PR123456
> https://gcc.gnu.org/PR123456

Thanks, I didn't know that. These URL shorthands are well supported so 
let's use them in the code and doc, as that's a readability win. I 
installed the attached patches to do that. I didn't alter ChangeLog 
partly due to laziness, partly as it's less important there.