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 gdb@sourceware.org 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