Thanks! Code has been merged.
On 20 August 2015 at 22:11, Frederic Peters <[email protected]> wrote: > Matthias Clasen wrote: >> Given that this is new UI, and we are just at the edge of the freeze, seems >> a no-brainer to me. +1 for release team > > Sure, I give the second approval. > > > Fred _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
