Processed: 41700 is not a bug

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 41700 + notabug
Bug #41700 [grep] grep -v always exiting with 1 for empty file
Added tag(s) notabug.
> close 41700
bug#41700: grep -v always exiting with 1 for empty file
bug closed, send any further explanations to
41700@debbugs.gnu.org and Andi Kleen <andi@firstfloor.org>

>
End of message, stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

GNU bugs database, http://debbugs.gnu.org/