Skip to content
GitLab

Update the javadoc handler for Java 11

Closed Emmanuel Bourg requested to merge ebourg/strip-nondeterminism:master into master

Here is an update to handle the new javadoc output of Java 11 (see #913132)