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