The following commit has been merged in the master branch:
commit 8cd6acd8995e1f6c781d8e0c59ef7c8fc474f9d4
Merge: 20e9d3e783cc8f08565102f291142aeb9d6d3a66 
a0cdb489f8f6a6eb5242d0dab21ec9d24e74a425
Author: Ralf Treinen <trei...@free.fr>
Date:   Tue Aug 2 18:17:22 2011 +0200

    Merge commit 'upstream/1.10.0'


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