On Sat, May 10, 2014 at 6:03 PM, Paul Eggert <[email protected]> wrote: > Jim Meyering wrote: >> >> The precise date (or even week) will depend on too many factors. > > From my point of view, now would be a good time for grep 2.19. Today I > finished wading through the bug reports and fixing the ones that seem > pressing. The remaining unresolved bugs are either lower-than-normal > priority, or have to do with grep --color (which is low priority for me, as > the coloring stuff is a mess and anyway I'm more of a monochrome guy > myself).
I agree. Thanks to both you and Norihiro for all of the fine work. I'm preparing a pre-release snapshot now.
