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