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