[Pkg-ocaml-maint-commits] [approx] 07/12: Merge branch 'upstream'

[Eric Cooper]

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 <ecc at 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