Hi, and thanks for this great overview of this problem.
> I guess you were upgrading from 20120607-1 when this problem appeared. Yes the problem appeared during the upgrade of ingerman from 20120607-1 to 20131206-2. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
