On Wed, Sep 12, 2012 at 11:50 AM, Diego Novillo <dnovillo@google.com> wrote: > Alternately, we could use Richi's approach I suppose (what happened to that > patch, btw)? I was under the impression that the patch was good to go in; Richard? -- Gaby