On Sat, Dec 1, 2012 at 3:46 PM, Tobias Hansen wrote: > Can this bug be tagged wheezy-ignore? From the bug report: Please submit a release.debian.org bug report to better track this request. Thanks, Mike