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

[Stephane Glondu]

The annotated tag, upstream/8.3pl4 has been created
        at  7c42e1c947d26b7e95958690b1bfcae5ac93bf8d (tag)
   tagging  8381e5297424e0e6690dd6ddcc278961dc56e3dc (commit)
  replaces  upstream/8.3pl3
 tagged by  Stephane Glondu
        on  Fri Apr 6 07:32:22 2012 +0200

- Shortlog ------------------------------------------------------------
Upstream version 8.3pl4

Stephane Glondu (1):
      Imported Upstream version 8.3pl4

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

-- 
coq-doc packaging