From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Date: Fri, 3 Apr 2020 10:56:49 +0000 (+0100)
Subject: Merge gringo (5.4.0-2) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/5.4.0-2+rpi1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c60c67ba683e9ad6166ff81d7f7dd30ef6be2d73;p=gringo.git

Merge gringo (5.4.0-2) import into refs/heads/workingbranch
---

c60c67ba683e9ad6166ff81d7f7dd30ef6be2d73