Merge openjdk-7 (7u231-2.6.19-1~deb8u1) import into refs/heads/workingbranch
authorMarkus Koschany <apo@debian.org>
Mon, 12 Aug 2019 17:58:42 +0000 (18:58 +0100)
committerMarkus Koschany <apo@debian.org>
Mon, 12 Aug 2019 17:58:42 +0000 (18:58 +0100)

Trivial merge