On Fri, Nov 1, 2013 at 3:51 PM, Diego Novillo <dnovillo@google.com> wrote: > It must've been whitespace then. Your new patch applied just fine. > I'll be committing shortly. Committed at r204301. Diego.