[Pkg-ocaml-maint-commits] [SCM] mingw32-ocaml packaging branch, master, updated. debian/3.12.1+debian2-3-g3d3a56f

[Romain Beauxis]

The following commit has been merged in the master branch:
commit 3d3a56f39c80f3aea192aa3b2b4f439fdb104e40
Merge: b0189450d8b5a6986cbdef0ef72a7b655588cebc e211933cb140a0ae5c535fa7652bfc6ee429d2a8
Author: Romain Beauxis <toots at rastageeks.org>
Date:   Sat Nov 3 19:55:17 2012 +0100

    Merge remote-tracking branch 'origin/master'
    
    Conflicts:
    	debian/changelog


-- 
mingw32-ocaml packaging