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