https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90334
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So two things: 1) sourceware.org/gcc.gnu.org is a standard way of saying the machines are the exact same machine. This is NOT an URL. It is like writing "glass/mug you have is nice looking". https://www.grammarly.com/blog/slash/ 2) The no link for the email address is to reduce the spam to that email address.