[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

[Hendrik Tews]

The following commit has been merged in the master branch:
commit c1ba134e68140bce01dc9cb4134677b57baa790e
Merge: 7fb9ce234eab0782989307a4b65176245e25c32f 12f9bf66a102bc5e53d79deee6640d4b161f30e1
Author: Hendrik Tews <hendrik at askra.de>
Date:   Wed May 23 22:24:28 2012 +0200

    Merge tag 'upstream/3.12.5'
    
    Upstream version 3.12.5


-- 
otags packaging