|
| 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. Installed.
| [Prev in Thread] | Current Thread | [Next in Thread] |