File gnome-shell-favorites-menu-at-end.patch of Package gnome-shell-extensions (Revision ccd755f6ad9ed5a20afadd9ccd4b008e)
Currently displaying revision ccd755f6ad9ed5a20afadd9ccd4b008e , Show latest
Currently displaying revision ccd755f6ad9ed5a20afadd9ccd4b008e , Show latest