On Mon, 19 Oct 2020 21:42:51 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> The patch resolves a bad merge between two recent changes. > > The `DocletEnvironment docEnv` parameter no longer needs to be passed around. looks good ------------- Marked as reviewed by vromero (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/752
