[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 76f6ef894dd7b730c71a177fbd2febf77ddf9e6b
Merge: 6c19ebf300aa30182b5652175e71588d2f5bbbc7 2e089eafaac67860c557bb915d0938c5ac27140e
Author: Romain Beauxis <toots at rastageeks.org>
Date:   Tue Mar 26 14:58:39 2013 -0500

    Merge remote-tracking branch 'origin/master'


-- 
mingw32-ocaml packaging