The following commit has been merged in the master branch: commit c1ba134e68140bce01dc9cb4134677b57baa790e Merge: 7fb9ce234eab0782989307a4b65176245e25c32f 12f9bf66a102bc5e53d79deee6640d4b161f30e1 Author: Hendrik Tews <hend...@askra.de> Date: Wed May 23 22:24:28 2012 +0200
Merge tag 'upstream/3.12.5' Upstream version 3.12.5 -- 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