Paolo Carlini Sun, 04 Nov 2012 15:22:17 -0800
Hi, I'd like to ping this recent patch of mine:
http://gcc.gnu.org/ml/gcc-patches/2012-10/msg02509.html Thanks! Paolo.