The annotated tag, debian/1.10.0-1 has been created
        at  98e5f83d06d8686fa0bf198a9a244575020de454 (tag)
   tagging  d1ea1892d5a015248013e09cd1a61546409d6940 (commit)
  replaces  debian/1.9.0-5
 tagged by  Ralf Treinen
        on  Tue Aug 2 20:07:57 2011 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.10.0-1

Ralf Treinen (8):
      Imported Upstream version 1.10.0
      Merge commit 'upstream/1.10.0'
      new upstream 1.10
      drop patches that have been incorporated by upstream:
      document patch dont-make-doc
      install manpage via dh
      install user documentation via dh
      small issues in changelog


advi packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to