This is an automated email from the git hooks/post-receive script.

ecc-guest pushed a commit to branch master
in repository approx.

commit cedb760c27946b08f1023717aa843799b3b9681e
Merge: 409fc9c ade4039
Author: Eric Cooper <e...@cmu.edu>
Date:   Wed Nov 16 14:13:11 2016 -0500

    Merge branch 'upstream'

 Makefile        |   8 +-
 approx.ml       |   2 +-
 config.ml       |   4 +-
 doc/approx-gc.8 |  92 --------------------
 gc_cache.ml     | 262 --------------------------------------------------------
 5 files changed, 5 insertions(+), 363 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/approx.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

Reply via email to