The following commit has been merged in the master branch:
commit 014dfabc14fc20c5a67a12d0d7c91dd8e3c04828
Merge: f85e7d3f5f8fc45670d0982efdcb2dc06980a978 
76e407e9d27473975cf77bb9740a0dcae6a137b5
Author: Mehdi Dogguy <me...@dogguy.org>
Date:   Thu Dec 8 17:18:10 2011 +0100

    Merge commit 'upstream/0.94'


-- 
alt-ergo 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