[Pkg-ocaml-maint-commits] [utop] 02/04: Merge tag 'upstream/1.19.3'

[Hilko Bengen]

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

bengen pushed a commit to branch master
in repository utop.

commit a72ae5e246b11a1149ba8587059bd82ffafde564
Merge: b539c2a 53572f6
Author: Hilko Bengen <bengen at debian.org>
Date:   Thu Sep 15 09:28:49 2016 +0200

    Merge tag 'upstream/1.19.3'
    
    Upstream version 1.19.3

 .travis.yml                   |  11 +++
 CHANGES.md                    |   5 ++
 Makefile                      |   2 +
 README.md                     |   2 +
 _oasis                        |   2 +-
 _tags                         |   2 +-
 myocamlbuild.ml               | 174 ++++++++++++++++++++++++++++++++++++++++--
 opam                          |   5 +-
 setup.ml                      |  73 ++++++++++++------
 src/lib/META                  |   6 +-
 src/lib/uTop.cppo.ml          |   5 ++
 src/lib/uTop_complete.cppo.ml |  24 +++++-
 src/lib/uTop_main.cppo.ml     |  22 +++++-
 13 files changed, 289 insertions(+), 44 deletions(-)

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