gnome-shell-extensions

[Ernesto]

hello, I found that Finnbarr P. Murphy develop many gnome-shell-extensions,
you can see at http://fpmurphy.com/gnome-shell-extensions, and have some
interesants, like the iconplacesbookmarks or the poweroptions, that make
gnome 3 more usable, have you plans to add this to debian? thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20111122/5bb7bf1a/attachment.html>