Processed: user debian-policy@packages.debian.org, setting package to debian-policy, usertagging 537707 ...

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

Processing commands for control@bugs.debian.org:

> 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

> usertags 537707 - proposal
Bug#537707: groff limitations on manual page characters removed
Usertags were: normative proposal.
Usertags are now: normative.
> tags 537707 pending
Bug #537707 [debian-policy] groff limitations on manual page characters removed
Added tag(s) pending.
>
End of message, stopping processing here.

Please contact me if you need assistance.

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