The following commit has been merged in the master branch:
commit 842fdf6ca0e9f52d7744737ac5eb8ca706201700
Merge: 15093e0a736bc103456bcbae659d7a328f2e1fa8 
e12f18cc8276cf8fa1000c202e119bbea924cd8c
Author: Mehdi Dogguy <me...@debian.org>
Date:   Tue Nov 1 22:13:41 2011 +0100

    Merge commit 'upstream/3.12.1'


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