The following commit has been merged in the master branch:
commit 17cad3ebc2c302af8d10c0e293564d3ab533cc10
Merge: c82df05722dfeebff899ae1d4b0a6f5bdc15054b
92ab62bede778dd0c4109e8ebb69f49436af325e
Author: Hendrik Tews <hend...@askra.de>
Date: Mon Mar 26 09:37:39 2012 +0200
Merge commit 'upstream/20120322'
--
hol-light packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
