[Pkg-ocaml-maint-commits] [yojson] 03/08: Merge tag 'upstream/1.3.2'
Stéphane Glondu
glondu at moszumanska.debian.org
Wed Jun 1 09:55:20 UTC 2016
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository yojson.
commit 6955260dbd4876e8a2cf1ff74431f044d9048b5f
Merge: 96865a2 e492073
Author: Stephane Glondu <steph at glondu.net>
Date: Wed Jun 1 11:44:40 2016 +0200
Merge tag 'upstream/1.3.2'
Upstream version 1.3.2
.gitignore | 2 +
.merlin | 3 +
Makefile | 31 +--
common.ml | 2 +-
common.mli | 4 +-
opam | 23 ++
pretty.ml | 54 ++---
read.mli | 6 +-
read.mll | 622 +++++++++++++++++++++++++++----------------------------
safe.mli | 2 +-
util.ml | 3 +
write.ml | 72 +++----
write.mli | 6 +-
write2.ml | 3 +
write2.mli | 6 +
yojson.ml.cppo | 4 +
yojson.mli.cppo | 4 +
yojson_biniou.ml | 66 +++---
18 files changed, 475 insertions(+), 438 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/yojson.git
More information about the Pkg-ocaml-maint-commits
mailing list