Merge openjdk-17 (17.0.4+8-1+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Fri, 11 Nov 2022 07:39:25 +0000 (07:39 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Fri, 11 Nov 2022 07:39:25 +0000 (07:39 +0000)

Trivial merge