Hello,

i just want to inform you guys that AMD released an beta opengl 4.2 driver at:

http://support.amd.com/us/kbarticles...BetaLinux.aspx

apperently it does NOT fix gnome-shell (tried with F15)

greetings