[debbugs-tracker] Processed: Re: bug#34026: mention that long options aren't always as good as short options

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> severity 34026 wishlist
Bug #34026 [coreutils] mention that long options aren't always as good as short 
options
Severity set to 'wishlist' from 'normal'

> retitle 34026 doc: explain long-vs-short options
Bug #34026 [coreutils] mention that long options aren't always as good as short 
options
Changed bug title to 'doc: explain long-vs-short options' from 'mention that 
long options aren't always as good as short options'
> stop
Stopping processing here.

Please contact address@hidden if you need assistance.

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