[dune-common] branch master updated (b000d2d -> ba1dbaf)

[Ansgar Burchardt]

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

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

      from  b000d2d   changelog for 2.5.0~rc1-3
      adds  9ed7526   Remove patch (applied upstream).
      adds  94c29bd   dune-debian.mk: Restore variable for configure options
      adds  ba1dbaf   changelog for 2.5.0~rc2-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog                                   |  8 +++++
 debian/dune-debian.mk                              |  4 ++-
 .../0001-Add-correct-offset-for-end-of-chunk.patch | 36 ----------------------
 debian/patches/series                              |  1 -
 4 files changed, 11 insertions(+), 38 deletions(-)
 delete mode 100644 debian/patches/0001-Add-correct-offset-for-end-of-chunk.patch

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