Processed: user debian-policy@packages.debian.org, limit package to debian-policy, archiving 515856

["Debian Bug Tracking System" <owner@bugs.debian.org>]

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

> archive 515856
Bug #515856 {Done: Sean Whitton <spwhitton@spwhitton.name>} [debian-policy] remove get-orig-source
archived 515856 to archive/56 (from 515856)
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
515856: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=515856
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems