Danke für die Meldung. Damit über die Feiertage nichts verloren geht, habe ich den Fehler im Bugzilla eingetragen:
http://bugzilla.gnome.org/show_bug.cgi?id=389230 Frohes Fest, Hendrik -- Hendrik Richter <[EMAIL PROTECTED]> · 0xE642F2B0 · [EMAIL PROTECTED] _______________________________________________ gnome-de mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-de
