Merge openjdk-17 (17.0.17+10-1~deb12u1) import into refs/heads/workingbranch
authorMoritz Mühlenhoff <jmm@debian.org>
Thu, 23 Oct 2025 10:33:48 +0000 (12:33 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 23 Oct 2025 10:33:48 +0000 (12:33 +0200)

Trivial merge