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