[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-dejagnu] Various problems with /usr/share/doc/dejagnu/dejagnu.p

From: Ben Elliston
Subject: Re: [Bug-dejagnu] Various problems with /usr/share/doc/dejagnu/dejagnu.pdf.gz
Date: Tue, 10 Nov 2015 13:35:15 +1100
User-agent: Mutt/1.5.23 (2014-03-12)

On Mon, Nov 09, 2015 at 07:34:36PM +0000, Thibault, Daniel wrote:

> First off, the documentation seems badly out of date (apparently
     stopped at version 1.4, 2006).

That's not quite correct. We do update the documentation as time
permits, but the version number is probably way behind.  I'll fix

Thanks for point out those errors.  I'll fix them all now.

Cheers, Ben

Attachment: signature.asc
Description: Digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]