Merge openjdk-8 (8u272-b10-0+deb9u1) import into refs/heads/workingbranch
authorEmilio Pozuelo Monfort <pochu@debian.org>
Wed, 21 Oct 2020 21:52:22 +0000 (22:52 +0100)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Wed, 21 Oct 2020 21:52:22 +0000 (22:52 +0100)

Trivial merge