Merge openjdk-17 (17.0.12+7-2~deb12u1) import into refs/heads/workingbranch
authorMoritz Muehlenhoff <jmm@debian.org>
Wed, 31 Jul 2024 15:55:14 +0000 (17:55 +0200)
committerMoritz Muehlenhoff <jmm@debian.org>
Wed, 31 Jul 2024 15:55:14 +0000 (17:55 +0200)

Trivial merge