http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54030
m...@gcc.gnu.org <mrs at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mrs at gcc dot gnu.org --- Comment #4 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> 2012-10-24 17:42:14 UTC --- Mine isn't an approval as I am not a maintainer. I reviewed it because I know that part of the Makefile and I am familiar with what they want to do. I did this to spur an actual reviewer to approve it.