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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to