[dune-typetree] branch master updated (482880d -> e1e1c71)

[Ansgar Burchardt]

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

ansgar pushed a change to branch master
in repository dune-typetree.

      from  482880d   changelog for 2.5.0~rc2-1
      adds  4f4db4f   debian/copyright: Update for new upstream release
      adds  002ea5e   (Build-)Depend on last DUNE upload.
      adds  e1e1c71   changelog for 2.5.0-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog |  6 ++++++
 debian/control   |  4 ++--
 debian/copyright | 12 ++++++------
 3 files changed, 14 insertions(+), 8 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-typetree.git