[Pkg-ocaml-maint-commits] [SCM] prooftree packaging annotated tag, upstream/0.10, created. upstream/0.10

[Hendrik Tews]

The annotated tag, upstream/0.10 has been created
        at  f1f5a16c6b08c6284f8f19a3568899e2826b940c (tag)
   tagging  9151a834634039cc596a9a1054f7484f529e1835 (commit)
 tagged by  Hendrik Tews
        on  Mon May 14 23:32:45 2012 +0200

- Shortlog ------------------------------------------------------------
Upstream version 0.10

Hendrik Tews (1):
      Imported Upstream version 0.10

-----------------------------------------------------------------------

-- 
prooftree packaging