Merge openjdk-7 (7u231-2.6.19-1~deb8u2) import into refs/heads/workingbranch
authorMarkus Koschany <apo@debian.org>
Tue, 20 Aug 2019 15:19:59 +0000 (16:19 +0100)
committerMarkus Koschany <apo@debian.org>
Tue, 20 Aug 2019 15:19:59 +0000 (16:19 +0100)

Trivial merge