Thanks Jeremy; I left a comment there. Ciao, Emmanuele.
On 26 March 2017 at 14:22, Jeremy Bicha <jbi...@ubuntu.com> wrote: > On Sun, Mar 26, 2017 at 9:19 AM, Emmanuele Bassi <eba...@gmail.com> wrote: >> thanks for the patch. Would it be possible for you to attach it to a >> bug on Bugzilla? > > The tracking bug is https://bugzilla.gnome.org/show_bug.cgi?id=744916 > > Thanks, > Jeremy Bicha -- https://www.bassi.io [@] ebassi [@gmail.com] _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list