This is an automated email from the git hooks/post-receive script.
bengen pushed a commit to branch master
in repository lambda-term.
commit 633d6464f9c6c060196146c1ba568e7dfea55d63
Merge: 8ae97da 31e7803
Author: Hilko Bengen <ben...@debian.org>
Date: Thu Sep 15 00:18:15 2016 +0200
Merge tag 'upstream/1.10.1'
Upstream version 1.10.1
CHANGES.md | 6 ++
Makefile | 2 +
_oasis | 24 ++++++-
myocamlbuild.ml | 174 ++++++++++++++++++++++++++++++++++++++++++--
setup.ml | 191 ++++++++++++++++++++++++++++++++++++++-----------
src/META | 4 +-
src/lTerm_read_line.ml | 18 +++--
7 files changed, 360 insertions(+), 59 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/lambda-term.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
