On Thu, Oct 23, 2014 at 4:16 PM, Benjamin Kellermann
<benjamin.kellerm...@gmx.de> wrote:
> Just for your Info:
> https://www.mail-archive.com/search?q=765372&l=debian-bugs-dist%40lists.debian.org
>
> Let me know, if you have better suggestions…

Ich glaub das ist der gleiche/ein ähnlicher Bug, wie der von mir
gemeldete: https://bugzilla.gnome.org/show_bug.cgi?id=737134

War aber zumindest zwischenzeitlich gefixt, auf meinem System lief
dann alles wieder rund. Der Fehler lag in einer depth-first-search vs.
breadth-first-search in der Keymap.

Cheers.


-- 
typed with http://neo-layout.org

Antwort per Email an