[dune-common] branch master updated (fddfbd3 -> c896858)

[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  fddfbd3   Close bug. It was reassigned to dune-common.
      adds  064287e   no longer build manual -dbg package
      adds  c896858   changelog for 2.5.1~rc1-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog |  7 +++++--
 debian/control   | 17 +----------------
 debian/rules     |  3 ---
 3 files changed, 6 insertions(+), 21 deletions(-)

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