The following commit has been merged in the master branch:
commit f4a65c38c52858a122fb5d812c25eda3a60d977e
Merge: 04db433abe54292e9907e88dd743cfad6201f2f7
4b470e6efa69d54df6457c4f41ebc357e13a7582
Author: Mehdi Dogguy <dog...@pps.jussieu.fr>
Date: Wed Jun 24 10:31:48 2009 +0200
Merge commit 'upstream/3.11.1+debian1'
--
jocaml 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
