[dune-typetree] branch master updated (669828d -> b8b5ab9)

[Ansgar Burchardt]

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

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

      from  669828d   Build-Depend on texlive-pictures instead of pgf. (Closes: #867082)
      adds  18ad02e   (Build-)Depend on last DUNE upload.
      adds  bedfd18   debian/copyright: Update URLs
      adds  5e845e6   Bumped Standards-Version to 4.0.0.
      adds  b8b5ab9   changelog for 2.5.0-2

No new revisions were added by this update.

Summary of changes:
 debian/changelog | 6 ++++--
 debian/control   | 6 +++---
 debian/copyright | 4 ++--
 3 files changed, 9 insertions(+), 7 deletions(-)

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