Merge openjdk-7 (7u221-2.6.18-1~deb8u1) import into refs/heads/workingbranch
authorEmilio Pozuelo Monfort <pochu@debian.org>
Thu, 9 May 2019 16:55:46 +0000 (17:55 +0100)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Thu, 9 May 2019 16:55:46 +0000 (17:55 +0100)

Trivial merge