[Top][All Lists]

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

Re: awk for config headers

From: Ralf Wildenhues
Subject: Re: awk for config headers
Date: Wed, 10 Oct 2007 08:53:04 +0200
User-agent: Mutt/1.5.13 (2006-08-11)

* Ralf Wildenhues wrote on Wed, Oct 10, 2007 at 07:19:11AM CEST:
> * Paul Eggert wrote on Tue, Oct 09, 2007 at 12:17:45AM CEST:
> > Ralf Wildenhues <address@hidden> writes:
> > > If you can assert that `index' is safe to use, I'll apply the patch.
> > 
> > Please go ahead.
> Done. 

I forgot to mention Paul in the ChangeLog entry, sorry about that
glitch.  Fixed now.


reply via email to

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