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