On Wed, Sep 12, 2012 at 11:50 AM, Diego Novillo <dnovi...@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
On Wed, Sep 12, 2012 at 11:50 AM, Diego Novillo <dnovi...@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