http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60330
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Patch was posted to http://gcc.gnu.org/ml/gcc-patches/2014-02/msg01418.html I don't think we need a license on that file. It certainly shouldn't have Nathan and Diego's names copied from another file.
