Processed: user debian-policy@packages.debian.org, limit package to debian-policy, usertagging 872900 ...
Processing commands for control@bugs.debian.org:
> user debian-policy@packages.debian.org
Setting user to debian-policy@packages.debian.org (was spwhitton@spwhitton.name).
> 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 owner@bugs.debian.org with problems
Reply to: