On Thu, Jun 15, 2017 at 06:57:25PM +0200, Emmanuel Bourg wrote: > That was intentional, that's two different packages with different fixes.
Ah, I didn't look at the PTS pages. I thought that the binary package in the one bug report was build from the source package in the other bug report. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913 __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.