The following commit has been merged in the master branch:
commit 9a97530346a2c153f68450412c7dfba59a317f5c
Merge: 2575a14778b5d3f555d0a65fca40154d7e34ae59 
1d67fbbc33c1865f409a6ac71c34581d595bde6c
Author: Mehdi Dogguy <me...@debian.org>
Date:   Fri Apr 15 22:49:02 2011 +0200

    Merge commit 'upstream/0.93'


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

Reply via email to