[Pkg-ocaml-maint-commits] [extlib] 03/07: Merge tag 'upstream/1.6.1'

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository extlib.

commit 72f32681991abc4c5c31fed063321d0706ee8bf0
Merge: 332d12a 117dffb
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Jan 26 15:16:22 2014 +0100

    Merge tag 'upstream/1.6.1'
    
    Upstream version 1.6.1

 IO.ml                            | 43 ++++++++++++++++++++++
 IO.mli                           | 21 +++++++++--
 Makefile                         | 58 +++++++++++++++++++++---------
 README.txt                       | 22 ++++++++++--
 configure.ml                     |  1 +
 enum.ml                          |  2 ++
 enum.mli                         |  4 +++
 extArray.ml                      | 14 ++++----
 extHashtbl.ml => extHashtbl.mlpp | 34 +++++++++++++++---
 extList.mli                      |  2 +-
 extString.ml                     | 27 +++++++-------
 extString.mli                    | 10 ++++--
 install.ml                       | 78 +++++++++++++++++++++++++---------------
 optParse.mli                     |  2 +-
 uTF8.ml                          |  5 +++
 uTF8.mli                         |  4 +++
 16 files changed, 248 insertions(+), 79 deletions(-)

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