On Sun, 17 Aug 2014 23:12:06 +0000 owner@bugs.debian.org (Debian Bug Tracking System) wrote: Since the upgrade, this has ended. Consider it closed. Thanks for all.