Merge openjdk-17 (17.0.16+8-1~deb12u1) import into refs/heads/workingbranch
authorMoritz Mühlenhoff <jmm@debian.org>
Sun, 10 Aug 2025 21:44:27 +0000 (23:44 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Sun, 10 Aug 2025 21:44:27 +0000 (23:44 +0200)

Trivial merge