[dune-localfunctions] branch master updated (d39160d -> 53efe60)

[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  d39160d   Merge remote-tracking branch 'origin/master'
      adds  ebed7c3   (Build-)Depend on last DUNE release.
      adds  53efe60   changelog for 2.3.1-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog | 6 ++++++
 debian/control   | 6 +++---
 2 files changed, 9 insertions(+), 3 deletions(-)

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