Hi, none of you know me - I just joined the mailing list. Everyone can
call me zheĆøffec (pronnounced "jeff").
I just reported a bug here
(
https://bugzilla.gnome.org/show_bug.cgi?id=691578) , is there the right
place to report it? It's about the highlight over an application with
its corners not being round enough. Thanks ;)