[debbugs-tracker] Processed: 25207 is wishlist

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> severity 25207 wishlist
Bug #25207 [gzip] Bug: OPTIONs are the same as for 'grep'.
Severity set to 'wishlist' from 'normal'

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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