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.
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.