This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository labltk.
commit 378efe0cc248f075812cbfc3580d708aec6c295b
Merge: 35d5088 ae90ca2
Author: Stephane Glondu <st...@glondu.net>
Date: Sat Jul 15 16:31:17 2017 +0200
Updated version 8.06.2+dfsg from 'upstream/8.06.2+dfsg'
with Debian dir 4cbf54b6f359a9a2b724dea1400df11d6f7df5c2
Changes | 12 ++++++++++++
browser/editor.ml | 4 ++--
browser/lexical.ml | 2 +-
browser/searchid.ml | 1 +
browser/searchpos.ml | 11 +++++++----
browser/viewer.ml | 4 ++--
support/Makefile.common | 2 +-
support/cltkUtf.c | 2 +-
8 files changed, 27 insertions(+), 11 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/labltk.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
