Merge openjdk-17 (17.0.8+7-1~deb12u1) import into refs/heads/workingbranch
authorMoritz Mühlenhoff <jmm@debian.org>
Mon, 24 Jul 2023 09:57:34 +0000 (10:57 +0100)
committerMoritz Mühlenhoff <jmm@debian.org>
Mon, 24 Jul 2023 09:57:34 +0000 (10:57 +0100)

Trivial merge