Bug#676425: gnome-shell: Can't run gnome-shell-extension-prefs from http://extensions.gnome.org

[Michael Welsh Duggan]

I can verify that building without 
09-respect-NoDisplay-semantics-for-app-menu.patch does solve this
problem.  I have no idea what problems it re-introduces.

-- 
Michael Welsh Duggan
(md5i at md5i.com)