gnome-main-menu (1.8.0-2~ppa1~trusty1) trusty; urgency=low * Back ported from http://ftp.de.debian.org/debian/pool/main/g/gnome- main-menu/gnome-main-menu_1.8.0-2.dsc -- Martin Wimpress <email address hidden> Tue, 22 Jul 2014 23:35:01 +0100