[Pkg-ocaml-maint-commits] [hol-light] annotated tag upstream/20170917 created (now 8f5bbb5)

[Hendrik Tews]

This is an automated email from the git hooks/post-receive script.

hendrik-guest pushed a change to annotated tag upstream/20170917
in repository hol-light.

        at  8f5bbb5   (tag)
   tagging  64d942d940f6525fa1ae2510a5a7679eccaa56d0 (commit)
  replaces  upstream/20170109
 tagged by  Hendrik Tews
        on  Sun Sep 24 22:46:52 2017 +0200

- Log -----------------------------------------------------------------
Upstream version 20170917

Hendrik Tews (1):
      New upstream version 20170917

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git