Ubuntu
gnome-main-menu package

  1. Bug #148407
  2. Comment #3

Comment 3 for bug 148407

Revision history for this message
Daniel T Chen (crimsun) wrote :

This behaviour is not reproducible locally in 8.10.