Subject: new grep version is out

From: Paul Eggert <[email-masked]>
Date: Thu, 05 Jun 2014 09:04:27 -0700

close 17655 17626
thanks
done

We don't need these notices of releases now.