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

[Hendrik Tews]

The annotated tag, upstream/20120530 has been created
        at  842a5f9da9262b09084946430c478b22217b6f10 (tag)
   tagging  d12928450baf070abf2ef01d9c90ee1d2b11b6ea (commit)
  replaces  upstream/20120423
 tagged by  Hendrik Tews
        on  Wed May 30 09:15:47 2012 +0200

- Shortlog ------------------------------------------------------------
Upstream version 20120530

Hendrik Tews (1):
      Imported Upstream version 20120530

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

-- 
hol-light packaging