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 debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/m9l3kl$e76$1...@ger.gmane.org