Bug#756197: #756197 - gnome-menus: new upstream version fixes crashes

[Pedro Beja]

Control: forwarded -1 https://bugzilla.gnome.org/show_bug.cgi?id=733611

Hey Pabs,

there is a newer version of gnome-menus 3.10.1-1 available.

Could you please still reproduce ?

thanks
regards
althaser
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20140805/5da6af2e/attachment.html>