From: Raspbian automatic forward porter <root@raspbian.org>
Date: Tue, 13 Dec 2022 21:30:57 +0000 (+0000)
Subject: Merge version 5.4.1-3+rpi1 and 5.4.1-3.1 to produce 5.4.1-3.1+rpi1
X-Git-Tag: archive/raspbian/5.4.1-3.1+rpi1^0
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=e7b391e379e1ece59ae65ca29731e60afe176cee;p=gringo.git

Merge version 5.4.1-3+rpi1 and 5.4.1-3.1 to produce 5.4.1-3.1+rpi1
---

e7b391e379e1ece59ae65ca29731e60afe176cee
diff --cc debian/changelog
index d85f5bb,b1a6000..cbe5897
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,9 -1,13 +1,20 @@@
- gringo (5.4.1-3+rpi1) bullseye-staging; urgency=medium
++gringo (5.4.1-3.1+rpi1) bookworm-staging; urgency=medium
 +
 +  [changes brought forward from 5.3.0-10+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Thu, 14 Mar 2019 17:34:56 +0000]
 +  * Update symbols for raspbian.
 +
-  -- Raspbian forward porter <root@raspbian.org>  Wed, 30 Dec 2020 18:37:21 +0000
++ -- Raspbian forward porter <root@raspbian.org>  Tue, 13 Dec 2022 21:30:57 +0000
++
+ gringo (5.4.1-3.1) unstable; urgency=low
+ 
+   * Non-maintainer upload.
+   * Build using the default gcc. (Closes: #1023682)
+   * Add patch from Lukas Märdian to use the system catch/catch2.
+     (Closes: #1017161)
+   * Fix the testsuite for Python no longer supporting 'rU' in open().
+   * Remove the symbols file. (Closes: #963054, #1015422)
+ 
+  -- Adrian Bunk <bunk@debian.org>  Sat, 19 Nov 2022 12:33:48 +0200
  
  gringo (5.4.1-3) unstable; urgency=medium