[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120423-1-7-g452b483

[Hendrik Tews]

The following commit has been merged in the master branch:
commit aa63fee6f172acf3f4327e21f895b498fb1367f8
Merge: 5d8b12913f8137d8f87f6a33b00b75bc702a973d d12928450baf070abf2ef01d9c90ee1d2b11b6ea
Author: Hendrik Tews <hendrik at askra.de>
Date:   Wed May 30 09:15:47 2012 +0200

    Merge commit 'upstream/20120530'


-- 
hol-light packaging