[Bug other/60330] Licensed an unlicensed file

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60330

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
I think this can just be closed as INVALID.