On 2/13/13, Diego Novillo <dnovi...@google.com> wrote: > Thanks. The patch is OK for the branch. You can address Nathan's > review after he's back and gets a chance to look at it. > > Let me know when the patch is in. I've got another merge in process.
Committed. -- Lawrence Crowl
