I don't have T42p any more, thus cannot do experiments with it that would confirm or deny the bug presence in other configurations.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org