Processing commands for [email protected]: > unarchive 515856 Bug #515856 {Done: Sean Whitton <[email protected]>} [debian-policy] remove get-orig-source Unarchived Bug 515856 > End of message, 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
