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

[Hendrik Tews]

The annotated tag, upstream/20120322 has been created
        at  091c24098328f17c7a109d9b6700c7c5c62b46c1 (tag)
   tagging  92ab62bede778dd0c4109e8ebb69f49436af325e (commit)
  replaces  upstream/20120312
 tagged by  Hendrik Tews
        on  Mon Mar 26 09:37:39 2012 +0200

- Shortlog ------------------------------------------------------------
Upstream version 20120322

Hendrik Tews (1):
      Imported Upstream version 20120322

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

-- 
hol-light packaging