Processing commands for [email protected]:

> user [email protected]
Setting user to [email protected] (was 
[email protected]).
> limit package debian-policy
Limiting to bugs with field 'package' containing at least one of 'debian-policy'
Limit currently set to 'package':'debian-policy'

> usertags 872900 = packaging
There were no usertags set.
Usertags are now: packaging.
> severity 872900 minor
Bug #872900 [debian-policy] debian-policy: Very generic info file name
Severity set to 'minor' from 'normal'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
872900: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872900
Debian Bug Tracking System
Contact [email protected] with problems

Reply via email to