merge 522228 568266 thanks This is the same problem as #568266 (and ultimately #411982), please see the workaround in it.
/Simon -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
