From: Adrian Bunk <bunk@debian.org>
Date: Sat, 19 Nov 2022 10:33:48 +0000 (+0000)
Subject: Merge gringo (5.4.1-3.1) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/5.4.1-3.1+rpi1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=5433b127387c5c0f1919a3553e8286ece8fc2574;p=gringo.git

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

5433b127387c5c0f1919a3553e8286ece8fc2574