Subject: Re: bug#40868: Grep C library for multi-string pattern matching?

From: Paul Eggert <[email-masked]>
Date: Mon, 21 Sep 2020 12:28:28 -0700

Discussion on this old grep bug report has died down (and it wasn't a grep bug 
anyway) so I'm closing the bug report.