[SCM] GNU Mach branch, master, updated. v1.8-76-ge952f70

[Samuel Thibault]

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 <address@hidden>
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