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

On 27/05/2020 23:12, Jonny Grant wrote:
> Hi Simon
> 
> On 26/05/2020 15:17, Simon Marchi wrote:
>> On 2020-05-26 7:07 a.m., Jonny Grant wrote:
>>> Hi GDB maintainers
>>>
>>> Just wondering if this is down for you as well
>>>
>>> https://www.gnu.org/software/gdb/mailing-lists/
>>>
>>> I clicked "bug-gdb"
>>>
>>>
>>> This site can’t be reached mail.gnu.org refused to connect.
>>> Try:
>>>
>>> Checking the connection
>>> Checking the proxy and the firewall
>>> ERR_CONNECTION_REFUSED
>>
>> Maybe it was temporary, the GNU mailing list page works for me right now.
> 
> Unfortunately it is still down for me from laptop and android mobile.
> 
> 
>> However, there has been no activity there for many years, I think we should
>> either remove it from our page, or at least mention that it's there for
>> archive purposes only.
> 
> Sounds reasonable. I didn't receive a reply from the gnu webmasters, maybe they are overloaded with lockdown.
> 
>>> I was going to ask if [email protected] could be added to the $ gdb --help output and also the man page?
>>
>> Yes, I think it would be nice.  Would you mind providing patches for that?
> 
> I've attached a patch for the 'gdb --help' output

My apologies, correct version of the patch attached.

Jonny

From 1a31e82283ea5eba478e28637b5711f45ea62eb5 Mon Sep 17 00:00:00 2001
From: Jonny Grant <[email protected]>
Date: Wed, 27 May 2020 23:24:50 +0100
Subject: [PATCH] Add mailing list to help output

Signed-off-by: Jonny Grant <[email protected]>
---
 gdb/main.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gdb/main.c b/gdb/main.c
index 3ee0ba8d81..cbe6d71bb1 100644
--- a/gdb/main.c
+++ b/gdb/main.c
@@ -1396,6 +1396,6 @@ GDB manual (available as on-line info or a printed manual).\n\
 Report bugs to \"%s\".\n\
 "), REPORT_BUGS_TO);
     fprintf_unfiltered (stream, _("\
-GDB mailing list \"mailto:[email protected]\"\n\
-"), REPORT_BUGS_TO);
+GDB mailing list \"<[email protected]>\"\n\
+"));
 }
-- 
2.17.1