Re: http://mail.gnu.org/mailman/listinfo/bug-gdb/ down
Jonny Grant <[email protected]>
| Newsgroups | gmane.comp.gdb.devel |
|---|---|
| Message-ID | <[email protected]> |
On 28/05/2020 07:47, Eli Zaretskii wrote: >> From: Jonny Grant <[email protected]> >> 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 <[email protected]> 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 <[email protected]> Thanks, Jonny