The following commit has been merged in the master branch:
commit 6ccfcdab001a560db42bba76960f627ee0fd77c3
Merge: 643f79acbacc3ccb1644b2a1710593ab5731ecdc
3ed071640225e27b9cfa5e282150574bd7db1d30
Author: Mehdi Dogguy <me...@debian.org>
Date: Sun Apr 17 12:17:00 2011 +0200
Merge commit 'upstream/3.12.0'
--
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
