Gabriel Dos Reis <g...@integrable-solutions.net> writes: > 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.
No problem.
> Patch is OK.
Thank you. Applied to trunk, revision r187845.
--
Dodji
