The following commit has been merged in the master branch:
commit 52c083f113012b4d3899b7bf1b340360fb498e81
Merge: d3c0a748b12abedd1bd1bd9af042056225be5038 
ba68b147a7adfa283b8ba5caca229b338c52d15d
Author: Hendrik Tews <hend...@askra.de>
Date:   Thu May 17 13:16:57 2012 +0200

    Merge tag 'upstream/3.12.3'
    
    Upstream version 3.12.3


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