[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-14-gf05c0c6

[Hendrik Tews]

The following commit has been merged in the master branch:
commit 17cad3ebc2c302af8d10c0e293564d3ab533cc10
Merge: c82df05722dfeebff899ae1d4b0a6f5bdc15054b 92ab62bede778dd0c4109e8ebb69f49436af325e
Author: Hendrik Tews <hendrik at askra.de>
Date:   Mon Mar 26 09:37:39 2012 +0200

    Merge commit 'upstream/20120322'


-- 
hol-light packaging