[05:23] <cedric_> Hi,
[05:25] <cedric_> is it the correct place to ask about gnome 3.10 bugs?