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