Jerome Glisse in comment #30: "Well this is also a kwin bug, kwin should not pick MSAA visual. I fixed cogl so that it does not pick msaa visual for gnome-shell." Thanks! I am (even today) experiencing gnome-shell crashes like this on an up-to-date fedora 18 (cogl-1.12.2-1.fc18.x86_64). See my comment #18. Also in Cinnamon (untested since that report). What version of cogl should I look for? I can add something about this to the Fedora bug report.