The following commit has been merged in the master branch:
commit c07a1731356133df273679ee375c3f9679a87413
Merge: 06491d805f34c353f5b5d03d415b8df64e3deb0e 
91b9649a74715d563d525b311b754324852c0794
Author: Hendrik Tews <hend...@askra.de>
Date:   Sun Jun 10 21:57:02 2012 +0200

    Merge tag 'upstream/20120602'
    
    Upstream version 20120602


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