Your message dated Mon, 01 Sep 2014 01:05:51 -0700
with message-id <540428DF.8070502@cs.ucla.edu>
and subject line Re: bug#18377: piping output through egrep -- escaping of "+" only needed sometimes. Why?
has caused the debbugs.gnu.org bug report #18377,
regarding piping output through egrep -- escaping of "+" only needed sometimes. Why?
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
18377: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18377
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems