[minetest-v04x] branch master updated (3cc43b4 -> fa1b317)

[Markus Koschany]

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

apo pushed a change to branch master
in repository minetest-v04x.

      from  3cc43b4   Use https for Format field.
       new  8c84cb0   Declare compliance with Debian Policy 4.1.0.
       new  5b94a84   minetest-data: Switch from python-imaging to python-pil.
       new  9a2481d   Build with ENABLE_SYSTEM_GMP=1 and use Debian's system library of GMP.
       new  04ea255   Make sure that we really use system libraries of jsoncpp and gmp.
       new  ccc09f6   Update minetest.conf and add all available configuration options for dedicated
       new  6844a5d   Update my email address.
       new  13d5235   Build-depend on libgmp-dev.
       new  dfa3b0b   Install minetest-mapper.6 with minetest-data.manpages.
       new  e30cdb4   Install appdata file into canonical directory /usr/share/metainfo.
       new  96f9c0e   Update changelog
       new  fa1b317   Switch priority from extra to optional.

The 11 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/changelog              |   16 +
 debian/control                |    7 +-
 debian/copyright              |    2 +-
 debian/minetest-data.install  |    2 +-
 debian/minetest-data.manpages |    1 +
 debian/minetest.conf          | 1074 ++++++++++++++++++++++++++++++++++++-----
 debian/rules                  |    2 +
 7 files changed, 965 insertions(+), 139 deletions(-)
 create mode 100644 debian/minetest-data.manpages

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/minetest-v04x.git