http://mail.gnu.org/mailman/listinfo/bug-gdb/ down

[Eli Zaretskii]

> Cc: simark@simark.ca, gdb@sourceware.org
> From: Jonny Grant <jg@jguk.org>
> Date: Sat, 30 May 2020 01:20:02 +0100
> 
> Report bugs to <http://www.gnu.org/software/gdb/bugs/>.
> GDB mailing list <gdb@sourceware.org>

I'm fine with either way.