Subject: Re: bug#31705: five grep / egrep issues

From: Paul Eggert <[email-masked]>
Date: Tue, 31 Dec 2019 23:44:26 -0800

No further comment for over a year, so closing the bug report.