[Top][All Lists]

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

Re: glr: include the created header

From: Akim Demaille
Subject: Re: glr: include the created header
Date: Mon, 14 Nov 2005 09:09:00 +0100
User-agent: Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux)

>>> "Paul" == Paul Hilfinger <address@hidden> writes:

 >> > Ok to install?  The test suite passes with no modification.
 >> That change looks good to me as well.  Thanks.
 >> I'd like to hear Paul H's opinion of course.

 > Looks good to me, too.


reply via email to

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