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 <>
Date:   Thu Jun 18 20:47:45 2015 +0200

    Merge branch 'master' of 

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

Alioth's /usr/local/bin/git-commit-notice on 

Pkg-ocaml-maint-commits mailing list

Reply via email to