[dune-istl] branch master updated (de90a8c -> 084cc3c)

[Ansgar Burchardt]

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

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

      from  de90a8c   Remove patch (included in new upstream release).
      adds  9518857   (Build-)Depend on last dune-common release.
      adds  084cc3c   changelog for 2.3.1-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog | 6 ++++++
 debian/control   | 4 ++--
 2 files changed, 8 insertions(+), 2 deletions(-)

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