Thomas Lange Fri, 02 Mar 2012 12:09:16 -0800
I think we can close this bug, since a solution is described. -- regards Thomas
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org