Re: openjdk-7 not migrating?

["Adam D. Barratt" <adam@adam-barratt.org.uk>]

On Sat, 2015-07-04 at 12:36 +0100, Steven Chamberlain wrote:
[...]
> |     openjdk-7-doc (amd64, i386, arm64, armel, armhf, mips, mipsel, powerpc, ppc64el, s390x) has new bugs!
> |     Updating openjdk-7-doc introduces new bugs: #781577
> |     Not considered 
> 
> Bug #781577 is apparently fixed in the version that is trying to
> migrate.
> 
> https://bugs.debian.org/781577
> | Found in version openjdk-7/7u75-2.5.4-3
> | Fixed in version openjdk-7/7u79-2.5.5-1

However, it's still reported as buggy by the BTS export for britney:

adam@jacala:~$ wget -q -O- https://bugs.debian.org/release-critical/britney/unstable-nr | grep openjdk-7
openjdk-7-doc 781577
openjdk-7-jre-headless 774873

I assume this is due to the presence of

openjdk-7-doc          | 7u75-2.5.4-3  | unstable   | all

which appears to be being kept around due to the old kfreebsd-* binary
packages.

Regards,

Adam