[gringo] annotated tag debian/5.2.1-3 created (now d8b61ea)

[Thomas Krennwallner]

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

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

        at  d8b61ea   (tag)
   tagging  0c4c9e9c286025bb024551f8c0fab93133cbdb39 (commit)
  replaces  debian/5.2.1-2
 tagged by  Thomas Krennwallner
        on  Sat Nov 4 11:23:37 2017 +0100

- Log -----------------------------------------------------------------
gringo Debian release 5.2.1-3
-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAln9lSkACgkQJ5ffdKZm
mqmyNQ//eJ7SCBe/A3T8hRZ7L8vd4o3NJxy3xYAAeiRH0vLkSaL2OSdZG2OU8v4K
mn600M39uv5EFu83+S3Q+Ymb2NY1mlliH7+N04SDIOKroxxI3TCh3bK4/DpGOkn5
1o5nbnCfvFzVXcyusJsKDcND+SN3z+ajCvXa6MpFu5vLzA1P6blIs7RwtfFMk+gI
zmWj9lghATt0/P1bvHmUwXzldIBSLdQYLxOhLdjIE+fLX9dcdHPOPJ/17J33a5OR
QXDzz7GW7qxNW/URJsmAxOEzMNUrg+9WD4i7dPApnGmQzZ74W8cdPJfTtwvv0QWk
ezYOAGrv8At0jzbQpCi4Jb6+i31+R+9a79b3UMOHHlRRg15lwxN81rLe5/K1LZcy
nJfl/8I81UcLpi3Fd+pPndcmjvysQuypwTBNA53shPVbgKqvG6izlO9gWvK3NU2o
Zu5Vu7EBbqP8dFue560yII1cNt/ksjZEJRbt9TDaMkVvuCz/WjQIjaY+9yF0yJHA
EFkRYI0Qoybkl6v7bdpN9nufdgy7RAIEq44irCb0K/wTQrQ6ps+KzaYYJYFqJH4V
CpG+DfqNmZcbOIt+F1h060XMjGXBbq880TVUBTmqos/eGD4UeSeZ0KQPWr5MQA+j
NEAhJ2Xp7ZQ/r1mAi+f9hq1d7ZgK5BmSatuwV1cHLxFm4D+1KJ0=
=K8QB
-----END PGP SIGNATURE-----

Thomas Krennwallner (3):
      add patch from upstream commit 02c6d85 to fix wrong assertion
      debian/control: Build-Depends to cmake >= 3.1.0
      gringo 2.5.1-3 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