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

[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  db9433f   changelog for 2.5.0~rc1-2
      adds  120d9c0   Call dh_sphinxdocs only when building arch-indep packages
      adds  b000d2d   changelog for 2.5.0~rc1-3

No new revisions were added by this update.

Summary of changes:
 debian/changelog | 6 ++++++
 debian/rules     | 6 +++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

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