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

