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