GNU bug report logs - #33599
PATCH: Fix Info links

Previous Next

Package: dejagnu;

Reported by: jcb62281 <at> gmail.com

Date: Mon, 3 Dec 2018 15:31:02 UTC

Severity: normal

Done: Ben Elliston <bje <at> air.net.au>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 33599-done <at> debbugs.gnu.org (full text, mbox):

From: Ben Elliston <bje <at> air.net.au>
To: Jacob Bachmeyer <jcb62281 <at> gmail.com>
Cc: 33599-done <at> debbugs.gnu.org
Subject: Re: bug#33599: PATCH: Fix Info links
Date: Tue, 4 Dec 2018 08:06:18 +1100

Fixed in commit f6341032.

Ben
This bug report was last modified 6 years and 225 days ago.

Previous Next

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