From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Date: Mon, 28 Dec 2020 12:50:01 +0000 (+0000)
Subject: Merge gringo (5.4.1-3) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/5.4.1-3+rpi1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=70082256eb500f66a6e14d9835f0d7c894da19ad;p=gringo.git

Merge gringo (5.4.1-3) import into refs/heads/workingbranch
---

70082256eb500f66a6e14d9835f0d7c894da19ad