The following commit has been merged in the master branch:
commit f22a4fef2379b0079e64ded433447b566ee4f040
Merge: bc26d5e7e8d75611af911b71d4c0c3a49ac9aa0a 
24e43098aa32d2be05b53064248988a24968c27f
Author: Stephane Glondu <st...@glondu.net>
Date:   Mon Jan 9 20:39:16 2012 +0100

    Merge commit 'upstream/8.3pl1'


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