[dune-istl] 03/05: Merge remote-tracking branch 'origin/master'

[Ansgar Burchardt]

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

ansgar pushed a commit to annotated tag debian/2.3.0-1
in repository dune-istl.

commit f11bcf5134f2171792ae53f781a5c41a4ab01eb9
Merge: b75c324 d46be04
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Fri Feb 14 10:28:24 2014 +0100

    Merge remote-tracking branch 'origin/master'

 debian/libdune-istl-dev.install | 1 +
 1 file changed, 1 insertion(+)

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