[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-7-g25fcb0f

[Hendrik Tews]

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

    Merge tag 'upstream/0.12'
    
    Upstream version 0.12


-- 
prooftree packaging