Bug#656685: GNOME/GTK eats up the F10 key

[Christoph Anton Mitterer <calestyo@scientia.net>]

retitle 656685 GNOME/GTK eats up the F10 key
reassign 656685 gnome-terminal
notforwarded 656685
stop

Hi.

This issue has found to be not a bug in xkb-data; see the "upstream 
bug" at https://bugs.freedesktop.org/show_bug.cgi?id=45008 .

I'm reassigning this issue to gnome-terminal (although the problem is 
not limited to it) as it has been the first package, where I've noticed 
it.
Please have a look (also at the freedesktop.org bug for details), and 
reassign to the right package (I have no idea which this could be).

Thanks,
Chris.