[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.2-1-4-g36db534

[Hendrik Tews]

The following commit has been merged in the master branch:
commit 52c083f113012b4d3899b7bf1b340360fb498e81
Merge: d3c0a748b12abedd1bd1bd9af042056225be5038 ba68b147a7adfa283b8ba5caca229b338c52d15d
Author: Hendrik Tews <hendrik at askra.de>
Date:   Thu May 17 13:16:57 2012 +0200

    Merge tag 'upstream/3.12.3'
    
    Upstream version 3.12.3


-- 
otags packaging