I was still affected by this bug because of this bug: <https://bugzilla.gnome.org/show_bug.cgi?id=726649>. I worked around it by removing one of my xkb grp options. Ubuntu developers might want to backport the patch from that bug, though.
I was still affected by this bug because of this bug: <https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 726649>. I worked around it by removing one of my xkb grp options. Ubuntu developers might want to backport the patch from that bug, though.