Bug#726310: gnome-shell: ALtGr dead keys are not dead after upgrade

[althaser]

Hey Norbert,

Could you please still reproduce this issue with newer gnome-shell version
like 3.8.4-5+b1 ?

It works fine here with 3.8.4-5+b1.

cheers,
althaser