Yes I noticed full gnome-shell core files are often 500MB (as is the RSS), though they seem to be mostly zeroes as evidenced by the reported filesystem usage. Not saying that's a bug, just an observation.
Yes I noticed full gnome-shell core files are often 500MB (as is the RSS), though they seem to be mostly zeroes as evidenced by the reported filesystem usage. Not saying that's a bug, just an observation.