[Pkg-ocaml-maint-commits] [SCM] camlmix packaging branch, master, updated. debian/1.3.0-3-7-gf588587

[Hendrik Tews]

The following commit has been merged in the master branch:
commit 35149623af50315a2975876f6fcfea3e4690f0c1
Merge: 63534700a9e6a7a1f56c8e439dd694660a3fae72 5ff4d0a478618b3578c440b53ddd72048b339aa1
Author: Hendrik Tews <hendrik at askra.de>
Date:   Mon May 27 16:24:16 2013 +0200

    Merge tag 'upstream/1.3.1'
    
    Upstream version 1.3.1


-- 
camlmix packaging