It's possible that update-menus was run under the user account with the
recently broken menu package (which is now fixed), update-menus would have
been run by root when the menu package was upgraded but the users own
menus will not have been updated.  Short version : run update-menus as the
user, with luck everything will be sweet.

Reply via email to