Follow-up Comment #3, bug #49024 (project hurd):
The gsync files were relicensed in commit
c8e687cb8a6ba8f278c58bf78126f843ceb292bb on 2016-10-31, and the ACPI files
were deleted in commit c387012395ec83dbdad5e9a1e31f3a214337d064 on
2016-11-06.
gitlog-to-changelog has not been relicensed nor deleted. It and the deleted
files remain in the Git repository, which still does not include a copy of
GPLv3. ("git log -S'29 June 2007' --all" finds nothing.) Luckily though,
"make dist" does not add gitlog-to-changelog to gnumach-*.tar, so only people
publishing copies of the gnumach Git repository are at risk of unintentionally
violating GPLv3.
The text of GPLv3 should be added to the repository, and terminated licenses
might then be reinstated per GPLv3 section 8.
I would like to retitle this bug report to "gnumach Git repo includes GPLv3+
material but omits GPLv3 text" but it seems I don't have the necessary
privileges.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?49024>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
