[dune-grid] 01/01: 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 branch master
in repository dune-grid.

commit d52d2926022ea9d6e7af5d8240dc71d13fcc7696
Merge: a4af294 3225578
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Fri Feb 14 10:25:11 2014 +0100

    Merge remote-tracking branch 'origin/master'

 debian/libdune-grid-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-grid.git