This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Mach".
The branch, master has been updated
via e952f70189bf34039453334b725a0da70086873e (commit)
from 23588c267fa08b5d27793e62bb72214164107e97 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit e952f70189bf34039453334b725a0da70086873e
Author: Kalle Olavi Niemitalo <k...@iki.fi>
Date: Sun Nov 25 11:54:12 2018 +0200
Add GPLv3 license text
To help people satisfy the license when they convey clones
of the gnumach Git repository, in which gitlog-to-changelog
and some deleted files are licensed under GPLv3-or-later.
A normal build does not use the GPLv3-or-later files. "make dist"
runs gitlog-to-changelog but does not copy it to gnumach-*.tar.
Bug: https://savannah.gnu.org/bugs/?49024
-----------------------------------------------------------------------
Summary of changes:
COPYING3 | 674 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 674 insertions(+)
create mode 100644 COPYING3
hooks/post-receive
--
GNU Mach
