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