Merge openjdk-17 (17.0.11+9-1~deb12u1) import into refs/heads/workingbranch
authorMoritz Muehlenhoff <jmm@debian.org>
Mon, 22 Apr 2024 10:26:25 +0000 (12:26 +0200)
committerMoritz Muehlenhoff <jmm@debian.org>
Mon, 22 Apr 2024 10:26:25 +0000 (12:26 +0200)

Trivial merge