[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.
Cheers,
Ralf
- Re: awk for config headers, (continued)
- Re: awk for config headers, Ralf Wildenhues, 2007/10/08
- Re: awk for config headers, Benoit SIGOURE, 2007/10/08
- Re: awk for config headers, Paul Eggert, 2007/10/08
- Re: awk for config headers, Benoit SIGOURE, 2007/10/08
- Re: awk for config headers, Paul Eggert, 2007/10/10
- Re: awk for config headers, Benoit SIGOURE, 2007/10/10
- Re: awk for config headers, Paul Eggert, 2007/10/10
- Re: awk for config headers, Benoit SIGOURE, 2007/10/10
- Re: awk for config headers, Paul Eggert, 2007/10/08
- Re: awk for config headers, Ralf Wildenhues, 2007/10/10
- Re: awk for config headers,
Ralf Wildenhues <=
Re: awk for config headers, Eric Blake, 2007/10/12
Re: awk for config headers, Eric Blake, 2007/10/10