Merge openjdk-7 (7u151-2.6.11-1+deb7u1) import into refs/heads/workingbranch
authorEmilio Pozuelo Monfort <pochu@debian.org>
Thu, 24 Aug 2017 15:37:58 +0000 (16:37 +0100)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Thu, 24 Aug 2017 15:37:58 +0000 (16:37 +0100)

Trivial merge