File gnome-shell-domain.patch of Package gnome-shell (Revision 07d91440240026a9cad6acdf4f803f0d)
Currently displaying revision 07d91440240026a9cad6acdf4f803f0d , Show latest
Currently displaying revision 07d91440240026a9cad6acdf4f803f0d , Show latest