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 _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list