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