Subject: closing no-longer-relevant bug reports for 'grep'

From: Paul Eggert <[email-masked]>
Date: Fri, 23 May 2014 21:34:31 -0700

tag 17557 + notabug
close 17557
tag 17548 + notabug
close 17548
tag 17246 + notabug
close 17246
close 17506