This is an automated email from the git hooks/post-receive script. andyli-guest pushed a commit to branch master in repository extlib.
commit e429e9628b901efcc5d271275477ddb572d60b93 Merge: 7474ecf 71669a6 Author: Andy Li <a...@onthewings.net> Date: Tue Nov 28 14:30:02 2017 +0800 Merge tag 'upstream/1.7.2' Upstream version 1.7.2 .gitignore | 3 - .travis.yml | 13 + CHANGES | 7 + Makefile | 10 +- README => README.md | 78 ++- appveyor.yml | 13 + opam | 35 ++ src/IO.ml | 1126 +++++++++++++++++----------------- src/IO.mli | 88 +-- src/Makefile | 18 +- src/base64.ml | 154 ++--- src/base64.mli | 14 +- src/bitSet.ml | 150 ++--- src/configure.ml | 3 + src/dllist.ml | 412 ++++++------- src/dynArray.ml | 658 ++++++++++---------- src/dynArray.mli | 212 +++---- src/enum.ml | 566 ++++++++--------- src/enum.mli | 20 +- src/extArray.ml | 31 +- src/extArray.mli | 55 +- src/{extBuffer.mlpp => extBuffer.ml} | 0 src/extBuffer.mli | 6 + src/{extBytes.mlpp => extBytes.ml} | 0 src/extHashtbl.ml | 166 +++++ src/extHashtbl.mli | 227 +++++-- src/extHashtbl.mlpp | 159 ----- src/extLib.ml | 20 +- src/extList.ml | 779 ++++++++++++----------- src/extList.mli | 384 ++++++------ src/extString.ml | 334 ++++++++++ src/extString.mli | 252 ++++---- src/extString.mlpp | 285 --------- src/global.ml | 6 +- src/global.mli | 6 +- src/install.ml | 347 ++++++----- src/option.ml | 28 +- src/option.mli | 10 +- src/pMap.ml | 22 +- src/pMap.mli | 4 +- src/refList.ml | 122 ++-- src/refList.mli | 38 +- src/std.ml | 146 ++--- src/std.mli | 8 +- src/unzip.ml | 660 ++++++++++---------- src/unzip.mli | 16 +- test/Makefile | 19 +- test/std.ml | 24 + test/test_ExtArray.ml | 2 +- 49 files changed, 4064 insertions(+), 3672 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/extlib.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