Nevermind. I thought I had seen it update, but I only have gnome-menus 2.30.0-0ubuntu1, not -ubuntu2.
Nevermind. I thought I had seen it update, but I only have gnome-menus 2.30.0-0ubuntu1, not -ubuntu2.