[Pkg-ocaml-maint-commits] [approx] 01/03: Merge branch 'upstream'

[Eric Cooper]

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

ecc-guest pushed a commit to annotated tag debian/5.10-1
in repository approx.

commit 1f3da68afa3d560f32f990b0f34e2818004d067b
Merge: f5ad1a6 b4dea3d
Author: Eric Cooper <ecc at cmu.edu>
Date:   Tue Jul 25 12:34:17 2017 -0400

    Merge branch 'upstream'

 _tags     |  4 ++--
 config.ml |  2 +-
 util.ml   | 29 +++++++++++++++--------------
 3 files changed, 18 insertions(+), 17 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/approx.git