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

[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
Limiting to bugs with field 'package' containing at least one of 'debian-policy'
Limit currently set to   'package':'debian-policy'

> tags 538665 = pending
Bug #538665 [debian-policy] debian-policy: "Info documents" section is outdated
Bug #534638 [debian-policy] debian-policy: Section about Info documents needs to be updated
Added tag(s) pending; removed tag(s) patch.
Added tag(s) pending; removed tag(s) patch.
>
End of message, stopping processing here.

Please contact me if you need assistance.

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