[Pkg-ocaml-maint-commits] [ceve] 03/03: Merge branch 'master' of git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/ceve

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository ceve.

commit dd72fe253877e492adc74360f137a0194ac39767
Merge: 50d7846 8bd3941
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Jun 18 20:47:45 2015 +0200

    Merge branch 'master' of git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/ceve

 debian/watch | 2 --
 1 file changed, 2 deletions(-)

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