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:54:16 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