Processing commands for [email protected]:
> user [email protected]
Setting user to [email protected] (was [email protected]).
> 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 <[email protected]>} [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 [email protected] with problems
