On Tue, Jun 10, 2014 at 11:56 AM, Siva Chandra <sivachandra@google.com> wrote:
> Thanks for the quick review. I have pushed the attached patch which
> includes the doc fixes suggested by Pedro.

Ah! The patch is attached now!