On Fri, Sep 23, 2011 at 4:57 AM, Paolo Bacchilega <[email protected]> wrote: > Hi, > > some deallocated memory is accessed, bug report and proposed patch is here: > https://bugzilla.gnome.org/show_bug.cgi?id=659906
The patch looks correct to me, +1. _______________________________________________ [email protected] http://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
