[gringo] branch devel updated (e993194 -> 0654201)

[Thomas Krennwallner]

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

tkren-guest pushed a change to branch devel
in repository gringo.

      from  e993194   Bump Standards-Version to 3.9.8.
      adds  0654201   Update changelog

No new revisions were added by this update.

Summary of changes:
 debian/changelog | 11 +++++++++++
 1 file changed, 11 insertions(+)

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