On 8/10/20 2:11 PM, Etienne Dysli Metref wrote: > On 10.08.20 13:17, Matthias Klose wrote: >>> Is this a Debian packaging problem or does upstream provide the wrong >>> documentation? >> >> that's the documentation provided by upstream. > > Thank you for the fast answer Matthias. :) > Would https://bugs.openjdk.java.net/browse/JDK-8225134 be the > corresponding upstream issue?
That's the issue for 13, not 11. > Is there any hope this could be fixed in a > future OpenJDK 11 release? if somebody updates those for 11 ...
