The following commit has been merged in the experimental/master branch:
commit a5b16332b902561c415b8cbc6549a433f8a214a4
Merge: 2dd50f67ac331ff090ab708ab35d7e6ec3ee7e7a 
dd365cac607efbd63287ec538245923956f8a11b
Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr>
Date:   Wed Oct 17 11:07:13 2012 +0200

    Merge tag 'upstream/3.1.2' into experimental/master
    
    Upstream version 3.1.2


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