[gringo] annotated tag upstream/5.1.0 created (now 5a4f7d9)

[Thomas Krennwallner]

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

tkren-guest pushed a change to annotated tag upstream/5.1.0
in repository gringo.

        at  5a4f7d9   (tag)
   tagging  4234dad30b85ede22f5fc537716744de092ac81c (commit)
  replaces  upstream/4.5.4
 tagged by  Thomas Krennwallner
        on  Fri Dec 9 07:46:48 2016 +0100

- Log -----------------------------------------------------------------
Upstream version 5.1.0

Thomas Krennwallner (1):
      New upstream version 5.1.0

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git