[Pkg-ocaml-maint-commits] [biniou] 05/11: Merge tag 'upstream/1.0.12'

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository biniou.

commit 5dbf430b590f83452e52444126735371f76eedd8
Merge: bf001ec c85b092
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Aug 3 13:20:59 2016 +0200

    Merge tag 'upstream/1.0.12'
    
    Upstream version 1.0.12

 .gitignore | 14 ++++++++++
 Makefile   | 90 +++++++++++++++++++++++++++++++++++++++++++-------------------
 README.md  |  7 +++--
 3 files changed, 81 insertions(+), 30 deletions(-)

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