On 03/12/2018 07:44 PM, DJ Delorie wrote: > > Franois Goichon <fgoichon@google.com> writes: >> Gentle ping - anything required on my end here (e.g. pull request)? > > I'm OK with it. Florian? Any further comments? The latest commit looks okay. Can you commit it in François's name? Thanks, Florian