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

Reply via email to