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