Processing commands for cont...@bugs.debian.org:
> user debian-pol...@packages.debian.org
Setting user to debian-pol...@packages.debian.org (was r...@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 <spwhit...@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 ow...@bugs.debian.org with problems
