[Pkg-ocaml-maint-commits] [SCM] opam packaging branch, master, updated. upstream/0.9.0-5-g729d519

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 0af10eae0c4df65727fd520f27c004b954517665
Merge: 735527bfea7060cf0562cb41ae02695422d7af58 f4d9c8378c5925fe22b664d9ec78645e227d0886
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Jan 12 23:50:57 2013 +0100

    Merge tag 'upstream/0.9.0+deb1'
    
    Upstream version 0.9.0+deb1


-- 
opam packaging