After updating to version 3.14.7-1, the problem disappeared. -- Daniel Wiese <[email protected]>
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]

