[Pkg-ocaml-maint-commits] [findlib] 02/03: Merge tag 'upstream/1.7.3'

[Ximin Luo]

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

infinity0 pushed a commit to branch master
in repository findlib.

commit 4c64a8cf539037ca8fe684a8c6cd88908333ae16
Merge: 4dd9328 6e0167f
Author: Ximin Luo <infinity0 at debian.org>
Date:   Thu Jul 6 22:08:55 2017 +0200

    Merge tag 'upstream/1.7.3'
    
    Upstream version 1.7.3
    
    # gpg: Signature made Thu 06 Jul 2017 22:08:55 CEST
    # gpg:                using RSA key 3667486A326DB2766D255546860DEF3B8F650B79
    # gpg: Good signature from "Ximin Luo <infinity0 at pwned.gg>" [ultimate]
    # gpg:                 aka "Ximin Luo <infinity0 at torproject.org>" [ultimate]
    # gpg:                 aka "Ximin Luo <infinity0 at freenetproject.org>" [ultimate]
    # gpg:                 aka "Ximin Luo <infinity0 at debian.org>" [ultimate]
    # gpg:                 aka "Satoshi Nakamoto (www.bitcoin.org) <satoshin at gmx.com>" [ultimate]

 Makefile                |   4 +-
 configure               |  26 +++++-
 doc/README              |  10 +++
 doc/README.xml          |  17 ++++
 src/findlib/META.in     |  27 ++++--
 src/findlib/Makefile    |  12 +--
 src/findlib/frontend.ml | 217 ++++++++++++++++++++++++++++--------------------
 7 files changed, 209 insertions(+), 104 deletions(-)

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