On Tue, Sep 4, 2018 at 4:26 PM <mcatanzaro(a)gnome.org> wrote:
On Tue, Sep 4, 2018 at 7:31 AM, Matthias Clasen
<mclasen(a)redhat.com>
wrote:
> Lets ask the graphics team :)
If the graphics people are OK with it, then let's do it.
Great. Are you going to contact them, or should I?