[Pkg-ocaml-maint-commits] [SCM] coq-float packaging annotated tag, upstream/8.3pl1, created. upstream/8.3pl1

[Stephane Glondu]

The annotated tag, upstream/8.3pl1 has been created
        at  2fdd9944ce862263478e4a5a3ecd294e93870bff (tag)
   tagging  24e43098aa32d2be05b53064248988a24968c27f (commit)
  replaces  upstream/8.3
 tagged by  Stephane Glondu
        on  Mon Jan 9 20:39:16 2012 +0100

- Shortlog ------------------------------------------------------------
Upstream version 8.3pl1

Stephane Glondu (1):
      Imported Upstream version 8.3pl1

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

-- 
coq-float packaging