[Pkg-ocaml-maint-commits] [coinst] 02/04: Merge tag 'upstream/1.9.3'

[Mehdi Dogguy]

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

mehdi pushed a commit to branch master
in repository coinst.

commit 9af2f4cffc22d4465731753e5e817361f1e682e8
Merge: c6ff300 5517e47
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Feb 13 14:41:16 2016 +0100

    Merge tag 'upstream/1.9.3'
    
    Upstream version 1.9.3

 CHANGES         |  6 ++++++
 Makefile        |  2 +-
 rpm_lib.ml      | 10 +++++-----
 transition.ml   | 24 +++++++++++++-----------
 util.ml         |  4 ----
 util.mli        |  2 --
 viewer/Makefile |  2 +-
 7 files changed, 26 insertions(+), 24 deletions(-)

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