Andrew Bennett <andrew.benn...@imgtec.com> writes: > Hi, > > I have noticed that a patch was placed in bugzilla to do this change, but it > does not appear to have been pushed. I was wondering if anyone could comment > why this is the case? > > The bugzilla URL is the following: > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57754
Looks OK if it passes testing. We'll need a name and email address for the commit though. Thanks, Richard
