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