GNU bug report logs - #41823
broken links in https://www.gnu.org/software/dejagnu/#lists

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Rob Savoye <rob <at> senecass.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#41823: closed (broken links in https://www.gnu.org/software/dejagnu/#lists)
Date: Wed, 17 Jun 2020 16:23:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Wed, 17 Jun 2020 10:21:13 -0600
with message-id <a9655568-11f8-7510-6543-c87cdaa9f759 <at> senecass.com>
and subject line Re: bug#41823: broken links in https://www.gnu.org/software/dejagnu/#lists
has caused the debbugs.gnu.org bug report #41823,
regarding broken links in https://www.gnu.org/software/dejagnu/#lists
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
41823: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41823
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Tom de Vries <tdevries <at> suse.de>
To: bug-dejagnu <at> gnu.org
Subject: broken links in https://www.gnu.org/software/dejagnu/#lists
Date: Fri, 12 Jun 2020 10:14:56 +0200

Hi,

I get "Cannot connect to mail.gnu.org" for the following links found
here ( https://www.gnu.org/software/dejagnu/#lists ).

Archives: http://mail.gnu.org/pipermail/
dejagnu <at> gnu.org: http://mail.gnu.org/pipermail/dejagnu/
subscribe: http://mail.gnu.org/mailman/listinfo/dejagnu
bug-dejagnu <at> gnu.org: http://mail.gnu.org/pipermail/bug-dejagnu
subscribe: http://mail.gnu.org/mailman/listinfo/bug-dejagnu
dejagnu-commit <at> gnu.org: http://mail.gnu.org/pipermail/dejagnu-commit
subscribe: http://mail.gnu.org/mailman/listinfo/dejagnu-commit

I found the archive of bug-dejagnu here (
https://lists.gnu.org/archive/html/bug-dejagnu/ ).

Thanks,
- Tom

[Message part 3 (message/rfc822, inline)]

From: Rob Savoye <rob <at> senecass.com>
To: Tom de Vries <tdevries <at> suse.de>, 41823-done <at> debbugs.gnu.org
Subject: Re: bug#41823: broken links in
 https://www.gnu.org/software/dejagnu/#lists
Date: Wed, 17 Jun 2020 10:21:13 -0600

  I fixed the links on the webpage, after remembering how to use CVS...

	- rob -

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.