[Pkg-ocaml-maint-commits] [coinst] 03/07: Merge tag 'upstream/1.9.1'

[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 49d2646522c2a9a21c8d82f5459d1bf49d6b7f54
Merge: 5216aa0 cfa2c3b
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Jan 17 21:55:04 2014 +0100

    Merge tag 'upstream/1.9.1'
    
    Upstream version 1.9.1

 .depend           |  24 ++--
 .gitignore        |   5 +-
 CHANGES           |  10 ++
 Makefile          |   4 +-
 coinst.ml         | 413 ++++++++++++++++++++++++++++++++++++++++++++++++++++--
 coinst_json.ml    | 290 ++++++++++++++++++++++++++++++++++++++
 coinst_json.mli   |  34 +++++
 layout.ml         |  16 ++-
 layout.mli        |   4 +-
 man/comigrate.1   |  10 +-
 ptset.ml          |  10 ++
 ptset.mli         |   2 +
 transition.ml     | 188 +++++++++++++++++--------
 update_data.ml    |  16 ++-
 upgrade.ml        |   2 +-
 upgrade_common.ml |   4 +-
 util.ml           |   2 +-
 17 files changed, 932 insertions(+), 102 deletions(-)

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