[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.1.99-2-5-gd3c0a74

Mon Feb 6 15:39:28 UTC 2012

The following commit has been merged in the master branch:
commit a27c29fca0ad8775decfa10f85bb49df7c5ab47a
Merge: e36f1a6f35bd62ab30b9e0d023a30509f60306b8 3cfaf76ffad96e4cdf1a53e03830a9ddba2bdbf2
Author: Hendrik Tews <hendrik at askra.de>
Date:   Mon Feb 6 15:25:28 2012 +0100

    Merge commit 'upstream/3.12.2'


-- 
otags packaging