Re: [google] Backport r172837 and r172788 to google/main

[Diego Novillo]

On Fri, May 6, 2011 at 14:34, Easwaran Raman <era...@google.com> wrote:
> Thanks. Fixed them (as well as the same issue in some earlier entries).

Great, thanks!