Subject: Re: grep usage question
From: Paul Eggert <[email-masked]>
To: Leroy Harrill <[email-masked]>
Cc: [email-masked]
Date: Sat, 24 Sep 2016 14:38:04 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

No further comment and it has been a couple of months, so closing the bug report.