[Pkg-ocaml-maint-commits] [SCM] mingw32-ocaml packaging branch, master, updated. debian/3.12.1+debian3-10-g76f6ef8

[Romain Beauxis]

The following commit has been merged in the master branch:
commit 1af6f9d8d5c9a93ecad9ef539d4167558b67b84f
Merge: d909a02993cc77e90c464ae47c99cb4776f55337 e2f794d854b6c5527fc2ac879fa181812a13c737
Author: Romain Beauxis <toots at rastageeks.org>
Date:   Tue Mar 26 13:55:44 2013 -0500

    Merge tag 'upstream/4.00.1_20130426'
    
    Upstream version 4.00.1~20130426


-- 
mingw32-ocaml packaging