File gnome-shell-878951-hide-list-with-no-user.patch of Package gnome-shell (Revision 30c8327f4affb85f81aed843dccbb0b2)
Currently displaying revision 30c8327f4affb85f81aed843dccbb0b2 , Show latest
Currently displaying revision 30c8327f4affb85f81aed843dccbb0b2 , Show latest