On 20 October 2014 18:03, Jonathan Roelofs <jonathan at codesourcery.com> wrote: >> Is that what you had in mind? > Yes, this looks good to me. Great, in r220210. I'll set up the bot. Thanks! --renato