It appears that gnome-main-menu now uses preferences.menu but doesn't work correctly for now. Can we close this bug report and continue with #83387 ?
It appears that gnome-main-menu now uses preferences.menu but doesn't work correctly for now.
Can we close this bug report and continue with #83387 ?