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

Reply via email to