Hi

> This bug is now almost 4 years old. Can you still reproduce it on
> current Debian?

Sorry, no idea. I have banished and burned out all traces of
Gnome3 from all my computers. 

Feel free to close the bug

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
------------------------------------------------------------------------

Reply via email to