Skip to content

Update the javadoc handler for Java 11

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)

Merge request reports