[widelands] branch master updated (c359821 -> f3d3d1f)

[Martin Quinson]

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

mquinson pushed a change to branch master
in repository widelands.

      from  c359821   new patch to use the system-wide minizip when available
       new  033d21f   Actually, I'm not sure that lua-eris is worthing a separate package yet
       new  49e109b   upload to unstable
       new  ccbcd06   lintian tells that specifying the encoding of .desktop is now useless
       new  c059aa8   use the new upstream copyright
       new  5088930   d/control: lintian tells me I should use hardened URI
       new  586037d   document my last change and rebuild for unstable
       new  ec37210   Bump standards-version to 3.9.8
       new  c6a6d5e   d/control: use canonical URL, for real this time
       new  c1c5dc8   fix the d/copyright file, and remove the chunks for the fonts we don't include
       new  96f4103   remove a licence file that is included in debian/copyright
       new  a05de70   remove the menu file: it's deprecated and we have a .desktop
       new  5ed75c7   Add a widelands.appdata.xml file.
       new  5a50438   use the latest versiob of appdata.xml, from GunChleoc
       new  3863110   make it clear that Eris is a fork of Lua5.3
       new  f3d3d1f   properly install the appdata

The 15 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/Debian.todo                            |  11 ++
 debian/changelog                              |  10 +-
 debian/control                                |   6 +-
 debian/copyright                              | 126 +++++++++++++++++++++--
 debian/rules                                  |   8 +-
 debian/widelands-data.install                 |   1 +
 {debian.orig => debian}/widelands.appdata.xml | 138 ++++++++++++--------------
 debian/widelands.desktop                      |   1 -
 debian/widelands.menu                         |   7 --
 9 files changed, 206 insertions(+), 102 deletions(-)
 create mode 100644 debian/Debian.todo
 copy {debian.orig => debian}/widelands.appdata.xml (88%)
 delete mode 100644 debian/widelands.menu

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