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
