OK, thank you for the responses. It's pushed now. On Sat, Mar 18, 2017, 15:47 Michael Catanzaro <[email protected]> wrote:
> On Sat, 2017-03-18 at 01:17 +0000, Javier Jardón wrote: > > A bit late in the cycle but the issue seems important enough and the > > patch seems simple enough > > > > 1/2 for release team > > 2/2 >
_______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
