On Fri, Nov 1, 2013 at 3:51 PM, Diego Novillo <dnovi...@google.com> wrote:

> It must've been whitespace then.  Your new patch applied just fine.
> I'll be committing shortly.

Committed at r204301.


Diego.

Reply via email to