The following commit has been merged in the master branch:
commit f4f82b969faa55a9d63120f41b5c2d0b88562d89
Merge: 6a5c0e609dd10f1f19ab7a03e69a45ec25280b17 
59ca2432a2d477fd8efe07c23f422784ef94fad7
Author: Stephane Glondu <st...@glondu.net>
Date:   Fri May 6 10:32:25 2011 +0200

    Merge commit 'upstream/8.3pl2'


-- 
coq-doc packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to