Merge openjdk-7 (7u171-2.6.13-1~deb8u1) import into refs/heads/workingbranch
authorMoritz Muehlenhoff <jmm@debian.org>
Tue, 3 Apr 2018 07:00:06 +0000 (08:00 +0100)
committerMoritz Muehlenhoff <jmm@debian.org>
Tue, 3 Apr 2018 07:00:06 +0000 (08:00 +0100)

Trivial merge