[Pkg-ocaml-maint-commits] [marionnet] 01/04: Merge branch 'upstream'

[Lucas Nussbaum]

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

lucas pushed a commit to branch master
in repository marionnet.

commit df19d3ba9a68a1e42f0f59579d4296e516343bdd
Merge: 7cfc044 a90acff
Author: Lucas Nussbaum <lucas at debian.org>
Date:   Tue Jul 8 11:31:55 2014 +0200

    Merge branch 'upstream'


-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.git