The following commit has been merged in the master branch:
commit 58d3b999e4031e3138e49b803eaef37255a51d11
Merge: c671b9fa6195616f7154591e3493b6b451b5c340 
2dd789608d1f7eef3f668bc227cdd977458927f7
Author: Hendrik Tews <hend...@askra.de>
Date:   Fri May 17 16:52:22 2013 +0200

    Merge tag 'upstream/0.12'
    
    Upstream version 0.12


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