[dune-localfunctions] branch master updated (5664b18 -> 6828271)

[Ansgar Burchardt]

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

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

      from  5664b18   changelog for 2.5.0~rc2-1
      adds  0bfd75e   debian/copyright: Update for new upstream release
      adds  3eb7593   (Build-)Depend on last DUNE upload.
      adds  6828271   changelog for 2.5.0-1

No new revisions were added by this update.

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

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