Merge openjdk-7 (7u151-2.6.11-2~deb8u1) import into refs/heads/workingbranch
authorMoritz Muehlenhoff <jmm@debian.org>
Wed, 22 Nov 2017 21:54:49 +0000 (21:54 +0000)
committerMoritz Muehlenhoff <jmm@debian.org>
Wed, 22 Nov 2017 21:54:49 +0000 (21:54 +0000)

Trivial merge