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

diff --cc debian/changelog
index d85f5bb6ac9e54f65f213d2d0a821efed7704ed2,b1a60000ffe0151567991e1b36bd2034c825aee8..cbe58972c6fcb7a4e876a7cfd66c686159c7b286
--- 1/debian/changelog
--- 2/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