Merge gcc-12 (12.3.0-13) import into refs/heads/workingbranch
authorMatthias Klose <doko@debian.org>
Fri, 15 Dec 2023 09:15:51 +0000 (10:15 +0100)
committerMatthias Klose <doko@debian.org>
Fri, 15 Dec 2023 09:15:51 +0000 (10:15 +0100)

Trivial merge