This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch master in repository cudf.
commit c1f0e3bd54640cc66daefb68cd19e446a7b1fe92 Merge: 11df4b3 8f27b34 Author: Stefano Zacchiroli <z...@upsilon.cc> Date: Tue Apr 29 14:55:09 2014 -0400 Merge tag 'upstream/0.7' Upstream version 0.7 BUGS | 6 +-- ChangeLog | 13 +++++++ INSTALL | 1 + Makefile | 18 ++++++--- Makefile.config | 2 +- README | 32 +++++++++++----- TODO | 6 +-- cudf.ml | 105 ++++++++++++++++++++++++++++++++++++++++------------- cudf.mli | 20 ++++++++++ cudf.spec | 2 +- cudf_checker.ml | 2 +- doc/.gitignore | 1 + doc/Makefile | 18 +++++++++ doc/cudf-check.pod | 99 ++++++++++++++++++++++++++++++++++++++++++++++++++ main_cudf_check.ml | 30 +++++++++------ tests.ml | 17 +++++++++ 16 files changed, 311 insertions(+), 61 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cudf.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits