Thank you for your bug report, the gnome-panel shortcut handling didn't change recently but it could be an issue with the new compiz rather
Thank you for your bug report, the gnome-panel shortcut handling didn't change recently but it could be an issue with the new compiz rather