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

    Merge commit 'upstream/20120530'


-- 
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

Reply via email to