The following commit has been merged in the master branch:
commit 3657a42f1db8e0fee698119be42ae85e0380589d
Merge: 503c0cd19d32e9a8c299a958a49a3450318b744f 
b6920bc8da2f17ba9bbbbb7ac3c30aca44e68b08
Author: Stephane Glondu <st...@glondu.net>
Date:   Fri May 10 10:49:08 2013 +0200

    Merge tag 'upstream/3.0.3'
    
    Upstream version 3.0.3


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