The following commit has been merged in the master branch:
commit 49b94ff1731dc1e012ee0270a0619ba4fd967102
Merge: 92d773674c3489e274988c5455c3f5dd50004112 
8381e5297424e0e6690dd6ddcc278961dc56e3dc
Author: Stephane Glondu <st...@glondu.net>
Date:   Fri Apr 6 07:32:22 2012 +0200

    Merge tag 'upstream/8.3pl4'
    
    Upstream version 8.3pl4


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