Hi,some deallocated memory is accessed, bug report and proposed patch is here: https://bugzilla.gnome.org/show_bug.cgi?id=659906
- Paolo _______________________________________________ [email protected] http://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
