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

Michael Welsh Duggan md5i at md5i.com
Sun Jun 10 21:00:08 UTC 2012


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)





More information about the pkg-gnome-maintainers mailing list