Thanks Bob for the pointer. Yes the patch works. I also saw your reply to the bug report. Good idea. -- Regards, jvp.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
