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 <samuel.thiba...@ens-lyon.org> 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 <sthiba...@debian.org> 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