Ubuntu
gnome-shell package

  1. Bug #799449
  2. Comment #4

Comment 4 for bug 799449

Revision history for this message
Iain Buclaw (iainb) wrote :

Made patch for the renamed menu file here:

https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/798135/comments/12

I could rebuild the package and submit the diff.gz for uploading into Ubuntu.