Ubuntu
appmenu-gtk package

  1. Bug #886611
  2. Comment #2

Comment 2 for bug 886611

Revision history for this message
Bilal Akhtar (bilalakhtar) wrote :

True. The gnome-shell detection mechanism should start early, not later, as it is now.