On Wed, Feb 1, 2012 at 9:07 PM, Diego Novillo <dnovillo@google.com> wrote: > > Thanks. I've incorporated your feedback in the attached patch. OK for > wwwdocs? yes; thanks! -- Gaby