Ubuntu
gnome-menus package

  1. Bug #1189722
  2. Comment #2

Comment 2 for bug 1189722

Revision history for this message
Jeremy Bícha (jbicha) wrote :

gnome-menus (3.8.0-1ubuntu2) saucy; urgency=low

  * debian/patches/01_default_prefix.patch:
    - Re-enabled as its absense is causing problems for GNOME Shell
      (LP: #1189722)