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