[debbugs-tracker] Processed: Re: bug#22495: sleep floating point docs

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> severity 22495 wishlist
Bug #22495 [coreutils] sleep floating point docs
Severity set to 'wishlist' from 'normal'

> retitle 22495 sleep: doc: mention approximate sleep time
Bug #22495 [coreutils] sleep floating point docs
Changed bug title to 'sleep: doc: mention approximate sleep time' from 'sleep 
floating point docs'
> stop
Stopping processing here.

Please contact address@hidden if you need assistance.

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