Ping. Diego, David, Is this patch OK for google/main? -Easwaran On Thu, Jun 2, 2011 at 4:48 PM, Easwaran Raman <eraman@google.com> wrote: > Ping. > > On Sat, May 14, 2011 at 8:01 AM, Easwaran Raman <eraman@google.com> wrote: >> http://gcc.gnu.org/ml/gcc-patches/2011-05/msg00781.html >> >