The following commit has been merged in the master branch:
commit 0cb68f406c590d80072448f85860b036268843af
Merge: 27c825d1e750f22bb18090c4f2c8fda329ff52ec 
2dbb4b474e3b007201c85a831a641b2cc3eaaa13
Author: Stephane Glondu <st...@glondu.net>
Date:   Wed Dec 12 07:53:33 2012 +0100

    Merge tag 'upstream/3.0.2'
    
    Upstream version 3.0.2


-- 
eliom 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