[gringo] branch master updated (0654201 -> f1503ec)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Mon May 2 06:00:26 UTC 2016
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a change to branch master
in repository gringo.
from 0654201 Update changelog
new de58e71 fix FTBFS when WITH_THREAD=0
new f1503ec Update changelog
The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
debian/changelog | 8 ++++++++
debian/patches/gringo-solve-multi.patch | 14 ++++++++++----
2 files changed, 18 insertions(+), 4 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git
More information about the debian-science-commits
mailing list