Am 03.12.2011 18:20, schrieb Miguel de Val-Borro:
AFAICS, yes, that'd be correct.This is fixed in the attached patch to be applied to 1.4.2-1.1.
Sorry for not catching that. Uploaded the 1.4.2-1.2 package. Best regards, Alexander -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org