[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 8a677e4d7ad07b7feeb64435e1349f2423bc73ba
Merge: 36db5341f647dae0a3add66a71a4e365793f1ad3 a577362b2a8bcfd5b21d5f825cb603221e1df406
Author: Hendrik Tews <hendrik at askra.de>
Date:   Tue May 22 21:35:07 2012 +0200

    Merge tag 'upstream/3.12.4'
    
    Upstream version 3.12.4


-- 
otags packaging