[gringo] annotated tag debian/4.5.4-3 created (now a6d38ea)

[Thomas Krennwallner]

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

tkren-guest pushed a change to annotated tag debian/4.5.4-3
in repository gringo.

        at  a6d38ea   (tag)
   tagging  f1503ec1cf1e8b76ef94611a6ebcd8ec1fac2640 (commit)
  replaces  debian/4.5.4-2
 tagged by  Thomas Krennwallner
        on  Mon May 2 07:59:20 2016 +0200

- Log -----------------------------------------------------------------
gringo Debian release 4.5.4-3

Thomas Krennwallner (2):
      fix FTBFS when WITH_THREAD=0
      Update changelog

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

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