This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository biniou.
commit 5dbf430b590f83452e52444126735371f76eedd8 Merge: bf001ec c85b092 Author: Stephane Glondu <st...@glondu.net> Date: Wed Aug 3 13:20:59 2016 +0200 Merge tag 'upstream/1.0.12' Upstream version 1.0.12 .gitignore | 14 ++++++++++ Makefile | 90 +++++++++++++++++++++++++++++++++++++++++++------------------- README.md | 7 +++-- 3 files changed, 81 insertions(+), 30 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/biniou.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