The following commit has been merged in the master branch: commit 0d5f967a75489585fe3254b0ed120ecf95972748 Merge: 18c4c605fbc2aa1f1a9093c42802d4bcd7b7dbc2 041bf445b8003f49d0701aed137dc90b77929836 Author: Hendrik Tews <hend...@askra.de> Date: Tue Apr 24 20:12:55 2012 +0200
Merge tag 'upstream/20120423' Upstream version 20120423 -- 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