On Mon, Jul 09, 2012 at 12:23:26AM +0200, Rhialto wrote: > It turns out that here is a different, and probably better, fix: > https://bugzilla.gnome.org/show_bug.cgi?id=677661 Ok, I've changed the package to use that patch instead. Thomas