[Merge] lp:~matttbe/ubuntu/saucy/gnome-menus/lp1265489 into lp:ubuntu/saucy-proposed/gnome-menus

[Matthieu Baerts]

Hello Martin,

Yes, this patch was already available in the 3.8.1 version but it's a merge request for Ubuntu Saucy :-)
-- 
https://code.launchpad.net/~matttbe/ubuntu/saucy/gnome-menus/lp1265489/+merge/200479
Your team Ubuntu branches is subscribed to branch lp:ubuntu/saucy-proposed/gnome-menus.