Merge openjdk-7 (7u181-2.6.14-1~deb8u1) import into refs/heads/workingbranch
authorEmilio Pozuelo Monfort <pochu@debian.org>
Fri, 8 Jun 2018 10:54:06 +0000 (11:54 +0100)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Fri, 8 Jun 2018 10:54:06 +0000 (11:54 +0100)

Trivial merge