[colobot] branch debian/master updated (38d0d18 -> f514740)

[Didier Raboud]

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

odyx pushed a change to branch debian/master
in repository colobot.

      from  38d0d18   Drop debian/source/local-options that is now obsolete
       new  7beee71   Rework the handling of music re-encoding:
       new  ef1e42c   Update debian/gbp.conf
       new  f514740   colobot 0.1.6-1 Debian release

The 3 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                                     | 13 +++++++++++++
 debian/gbp.conf                                      |  2 +-
 .../find-music-in-root-for-multi-source.patch        | 20 ++++++++++++++++++++
 debian/patches/series                                |  1 +
 debian/rules                                         | 18 ++++++++++--------
 5 files changed, 45 insertions(+), 9 deletions(-)
 create mode 100644 debian/patches/find-music-in-root-for-multi-source.patch
 create mode 100644 debian/patches/series

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