Sorry, the bug-report does not belong to gnome-themes but to gdm-themes. Sorry for the noise!
klaumi -- Klaus-M. Klingsporn klaumi...@gmx.de http://www.klaumikli.de -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org