Processed: user debian-policy@packages.debian.org, setting package to debian-policy, tagging 491985 ...

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.33
> user debian-policy@packages.debian.org
Setting user to debian-policy@packages.debian.org (was rra@debian.org).
> package debian-policy
Ignoring bugs not assigned to: debian-policy

> tags 491985 pending
Bug#491985: debian-policy: Should Policy mandate -dbg binary packages to be `Priority: extra'?
There were no tags set.
Tags added: pending

> severity 491985 wishlist
Bug#491985: debian-policy: Should Policy mandate -dbg binary packages to be `Priority: extra'?
Severity set to `wishlist' from `normal'

> usertags 491985 informative
Bug#491985: debian-policy: Should Policy mandate -dbg binary packages to be `Priority: extra'?
There were no usertags set.
Usertags are now: informative.
>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)