On Sun, Nov 1, 2020 at 10:03 AM Paul Eggert <egg...@cs.ucla.edu> wrote:
> Thanks to all for the bug report and quick fix. Closing the bug report.

Thanks for closing that. I've pushed the gnulib changes and am about
to push those for grep, too.



Reply via email to