[dune-typetree] branch master updated (1f3a745 -> 807d342)

[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  1f3a745   changelog for 2.4~20150922g645e692-1
      adds  8efd401   debian/copyright: Update for new upstream version.
      adds  807d342   changelog for 2.4.0~rc1-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog | 6 ++++++
 debian/copyright | 1 +
 2 files changed, 7 insertions(+)

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