On Tue, Jul 1, 2014 at 4:39 PM, Jeremy Manson <jeremymanson at google.com> wrote: > If Martin's happy, I'm happy. Martin, should I regenerate the patch with > that wording? > Yeah - I will try to sponsor this change.