On Thu, May 24, 2012 at 11:07 AM, Dodji Seketeli <do...@redhat.com> wrote: > PING: http://gcc.gnu.org/ml/gcc-patches/2012-05/msg01003.html
Sorry, this slipped under my radar. Patch is OK. -- Gaby
On Thu, May 24, 2012 at 11:07 AM, Dodji Seketeli <do...@redhat.com> wrote: > PING: http://gcc.gnu.org/ml/gcc-patches/2012-05/msg01003.html
Sorry, this slipped under my radar. Patch is OK. -- Gaby