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

[Hendrik Tews]

The annotated tag, upstream/20120423 has been created
        at  3f24693526e2df1da8012ee8b07ae8fcc2d2470e (tag)
   tagging  041bf445b8003f49d0701aed137dc90b77929836 (commit)
  replaces  upstream/20120322
 tagged by  Hendrik Tews
        on  Tue Apr 24 20:12:55 2012 +0200

- Shortlog ------------------------------------------------------------
Upstream version 20120423

Hendrik Tews (1):
      Imported Upstream version 20120423

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

-- 
hol-light packaging