On 2013-05-20 16:03 , David Malcolm wrote:
Ping: OK if I commit this to trunk?
Absolutely. I remembering approving this a while back.
BTW, I don't have commit rights to GCC (am reattaching the patch for convenience)(I have svn rights now)
Oh, that was it. Sorry, it slipped my mind. You can certainly commit it now.
Diego.
