Le 14/05/2020 à 17:10, Ruedi Steinmann a écrit : > According to upstream the issue is fixed now.
Just tried the version 11.0.7+1 and it looks good now. Uploading soon. Emmanuel Bourg __ This is the maintainer address of Debian's Java team <https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
