GNOME Bugzilla – Bug 715062
crash on .desktop file change
Last modified: 2018-12-24 17:42:38 UTC
I was running a system upgrade and gnome-shell crashed as a file in /usr/share/applications/ got updated. Core was generated by `/scratch/jhbuild/bin/gnome-shell'. Program terminated with signal 11, Segmentation fault.
+ Trace 232823
seems like a duplicate of bug #712161
*** This bug has been marked as a duplicate of bug 720460 ***