From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Date: Thu, 12 Mar 2020 00:57:01 +0000 (+0000)
Subject: Merge gringo (5.3.0-13) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/5.3.0-13+rpi1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4fe6a65e70008668c34d878e0b291833b7220a3f;p=gringo.git

Merge gringo (5.3.0-13) import into refs/heads/workingbranch
---

4fe6a65e70008668c34d878e0b291833b7220a3f