[dune-localfunctions] branch master updated (0d15a54 -> 4d762b3)

[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  0d15a54   changelog for 2.4~20150825rc2-1
      adds  f474715   (Build-)Depend on last DUNE upload.
      adds  4d762b3   changelog for 2.4~20150912rc3-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog | 7 +++++++
 debian/control   | 8 ++++----
 2 files changed, 11 insertions(+), 4 deletions(-)

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