The following commit has been merged in the master branch:
commit 49b94ff1731dc1e012ee0270a0619ba4fd967102
Merge: 92d773674c3489e274988c5455c3f5dd50004112
8381e5297424e0e6690dd6ddcc278961dc56e3dc
Author: Stephane Glondu <[email protected]>
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
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
