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