Subject: Re: bug#31705: five grep / egrep issues
From: Paul Eggert <[email-masked]>
To: Phillip Feldman <[email-masked]>
Cc: [email-masked]
Date: Tue, 31 Dec 2019 23:44:26 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

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