[Bug other/60330] Licensed an unlicensed file

2018-07-25 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60330 --- Comment #4 from Jonathan Wakely --- https://www.gnu.org/prep/maintain/maintain.html#Copyright-Notices "You should maintain a proper copyright notice and a license notice in each nontrivial file in the package. (Any file more than ten lines

[Bug other/60330] Licensed an unlicensed file

2018-07-25 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60330 Jonathan Wakely changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug other/60330] Licensed an unlicensed file

2018-07-25 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60330 --- Comment #2 from Jonathan Wakely --- I think this can just be closed as INVALID.

[Bug other/60330] Licensed an unlicensed file

2014-03-18 Thread redi at gcc dot gnu.org
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