Am Dienstag, den 14.07.2009, 12:29 +0200 schrieb Felix Riemann: > Well, with gst-properties fixed, the default gnome-media install builds > fine with deprecated symbols disabled here. > > Regarding the non-default / deprecated widgets I'll take it like Thomas > Andersen in comment 9 in above bug: it makes no sense fixing them.
So if that is the case, we can also whitelist gnome-media from the GtkDeprecatedSymbols column in http://www.gnome.org/~fpeters/299.html . andre -- mailto:[email protected] | failed http://www.iomc.de/ | http://blogs.gnome.org/aklapper _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
