[dune-localfunctions] 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-localfunctions.

commit f53843a6f195de8bc9076eb1dcc4ca62f0d4b63d
Merge: 71f83f0 3b59c63
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Fri Feb 14 10:24:34 2014 +0100

    Merge remote-tracking branch 'origin/master'

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