[gnumach] 01/01: copyright: Mention common-licenses copy of MPL-1.1

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch master
in repository gnumach.

commit 5d2f68da7f60a423d542f2659a4cf1721a12ef96
Author: Samuel Thibault <address@hidden>
Date:   Thu Aug 10 18:36:29 2017 +0200

    copyright: Mention common-licenses copy of MPL-1.1
---
 debian/changelog | 1 +
 debian/copyright | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index dfae4ca..0ab64c9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 gnumach (2:1.8+git20170609-2) UNRELEASED; urgency=medium
 
   * Use canonical anonscm vcs URL.
+  * copyright: Mention common-licenses copy of MPL-1.1.
 
  -- Samuel Thibault <address@hidden>  Fri, 20 Jan 2017 23:28:47 +0100
 
diff --git a/debian/copyright b/debian/copyright
index 0a3fe74..5c43d79 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -128,6 +128,9 @@ doc/mach* are licensed under the following terms:
 
 On Debian systems,
 
+- the complete text of the Mozilla Public License Version 1.1 can be found in
+'/usr/share/common-licenses/MPL-1.1'.
+
 - the complete text of the GNU General Public License can be found in
 '/usr/share/common-licenses/GPL-2'.
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/gnumach.git