File gnome-shell-exit-crash-workaround.patch of Package gnome-shell (Revision ce71993375f3394e8f5dc122d9e07f9d)
Currently displaying revision ce71993375f3394e8f5dc122d9e07f9d , Show latest
Currently displaying revision ce71993375f3394e8f5dc122d9e07f9d , Show latest