Bug#697219: unblock: gnome-menus/3.4.2-6

[intrigeri <intrigeri@debian.org>]

Hi,

Josselin Mouette wrote (02 Jan 2013 20:28:32 GMT) :
> Please unblock gnome-menus to work around a bug in menu-xdg that still 
> fills the GNOME menus with Debian entries.

I don't feel competent to review the diff, so a way I found to help
was to run the proposed version for a week. I did not notice any issue
with it.

Cheers,
--
  intrigeri
  | GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
  | OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc