Merge openjdk-7 (7u151-2.6.11-1~deb8u1) import into refs/heads/workingbranch
authorMoritz Muehlenhoff <jmm@debian.org>
Thu, 24 Aug 2017 08:01:34 +0000 (09:01 +0100)
committerMoritz Muehlenhoff <jmm@debian.org>
Thu, 24 Aug 2017 08:01:34 +0000 (09:01 +0100)

Trivial merge