[Pkg-ocaml-maint-commits] [SCM] hol-light packaging annotated tag, upstream/20120312, created. upstream/20120312

[Hendrik Tews]

The annotated tag, upstream/20120312 has been created
        at  73d643ba36743b8c92d506a4fcb02fee2c1e772c (tag)
   tagging  79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit)
 tagged by  Hendrik Tews
        on  Wed Mar 14 11:52:15 2012 +0100

- Shortlog ------------------------------------------------------------
Upstream version 20120312

Hendrik Tews (1):
      Imported Upstream version 20120312

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

-- 
hol-light packaging