OSDN Git Service

Merge pull request #3769 from backwardsEric/dist-THIRD-PARTY-NOTICES
authorDeskull <61610939+sikabane-works@users.noreply.github.com>
Thu, 30 Nov 2023 13:53:12 +0000 (22:53 +0900)
committerGitHub <noreply@github.com>
Thu, 30 Nov 2023 13:53:12 +0000 (22:53 +0900)
Include THIRD-PARTY-NOTICES.txt in archive from 'make dist'


Trivial merge