[dune-localfunctions] branch master updated (b8ae760 -> cba5c67)

[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  b8ae760   changelog for 2.5.0-2
      adds  d3d5c44   (Build-)Depend on last DUNE upload.
      adds  633837e   Remove patch (applied upstream).
      adds  cba5c67   changelog for 2.5.1~rc1-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog                                   |  7 +++++
 debian/control                                     |  8 +++---
 ...h-bugfix-increase-epsilon-for-i386-into-m.patch | 31 ----------------------
 debian/patches/series                              |  1 -
 4 files changed, 11 insertions(+), 36 deletions(-)
 delete mode 100644 debian/patches/0001-Merge-branch-bugfix-increase-epsilon-for-i386-into-m.patch
 delete mode 100644 debian/patches/series

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