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

Mon Mar 24 04:27:49 UTC 2014

On Fri, 21 Mar 2014, althaser wrote:
> Could you please still reproduce this issue with newer gnome-shell version
> like 3.8.4-5+b1 ?

No, as I have no gnome-shell anymore. Please close this bug if nobody
else can reproduce it.

Norbert

------------------------------------------------------------------------
PREINING, Norbert                               http://www.preining.info
JAIST, Japan                                 TeX Live & Debian Developer
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0  ACF0 6CAC A448 860C DC13
------------------------------------------------------------------------