[Pkg-ocaml-maint-commits] [labltk] 03/05: Merge tag 'upstream/8.06.1+dfsg'

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository labltk.

commit fb73c8ba6af669873fa9b8169825221f2a6ec071
Merge: 2a1b578 2ba9e91
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Jun 8 17:21:24 2016 +0200

    Merge tag 'upstream/8.06.1+dfsg'
    
    Upstream version 8.06.1+dfsg

 .gitignore                              |  4 ++++
 Changes                                 | 10 +++++++++
 README.md                               |  7 ++++++
 browser/Makefile                        |  4 ++--
 browser/Makefile.nt                     |  4 ++--
 browser/Makefile.shared                 |  6 ++---
 browser/{dummyUnix.mli => dummyUnix.ml} |  4 ++--
 browser/{dummyWin.mli => dummyWin.ml}   |  0
 browser/fileselect.ml                   |  2 +-
 browser/jg_completion.ml                |  7 +++---
 browser/jg_completion.mli               |  2 +-
 browser/searchid.ml                     | 25 +++++++++++----------
 browser/searchpos.ml                    | 39 ++++++++++++++++++++++-----------
 browser/viewer.ml                       |  4 ++--
 camltk/Makefile                         |  2 +-
 labltk/Makefile                         |  2 +-
 support/Makefile.common                 |  2 +-
 support/camltk.h                        |  4 ++--
 support/cltkCaml.c                      |  2 +-
 support/cltkUtf.c                       |  4 ++--
 20 files changed, 86 insertions(+), 48 deletions(-)

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