Harald Dunkel Sun, 14 Jul 2013 00:43:04 -0700
I would say its OK to close this bug report. Many thanx Harri (Please note my new EMail address.)
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
