Ping! Any opinion on this (comment-only) patch? (Sorry about the trailing whitespace in the last added line, which I just noticed.)
On 27 January 2013 23:44, Reuben Thomas <r...@sc3d.org> wrote: > On 27 January 2013 19:47, Paul Eggert <egg...@cs.ucla.edu> wrote: > >> On 01/27/2013 10:13 AM, Reuben Thomas wrote: >> > Perhaps it would be worth recording this fact in pipe-filter.h as a >> motivator? >> >> I'm not sure, since I don't recall the issue. >> > > If you don't recall it, that sounds more like a yes than a no! > > >> Perhaps if you proposed a patch -- not too wordy I hope -- >> that would clarify things. >> > > ---cut-here---- > diff --git a/lib/pipe-filter.h b/lib/pipe-filter.h > index c210ac4..ed1a79e 100644 > --- a/lib/pipe-filter.h > +++ b/lib/pipe-filter.h > @@ -146,6 +146,11 @@ extern int > > struct pipe_filter_ig; > > +/* It would be particularly nice to have this as it would enable a > + simple implementation of filters in grep; see: > + > + https://savannah.gnu.org/patch/?6107 */ > + > > /* ============================ pipe_filter_gi > ============================ */ > > ---cut-here---- > > -- > http://rrt.sc3d.org > -- http://rrt.sc3d.org
