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

[Jonny Grant]

On 28/05/2020 07:47, Eli Zaretskii wrote:
>> From: Jonny Grant <jg@jguk.org>
>> Date: Wed, 27 May 2020 23:26:26 +0100
>>
>> My apologies, correct version of the patch attached.
> 
> What was wrong with the previous version, and why this one is better?
> I'm probably missing something, but it sounds to me like an explicit
> 'mailto:' is better?
> 

Hello Eli
My apologies, the first version didn't compile as you mentioned in your other email.

Other shell tools with such URLs or email addresses are using <> without the mailto:, eg make --help

Report bugs to <bug-make@gnu.org>

gdb --help currently has extra quotes:-

Report bugs to "<http://www.gnu.org/software/gdb/bugs/>".

I had kept the same style with the quotes. Would it actually be better to remove the quotes so it matches other tools 
like strings --help etc?

So it would then look like:

Report bugs to <http://www.gnu.org/software/gdb/bugs/>.
GDB mailing list <gdb@sourceware.org>



Thanks, Jonny