On Thu, 14 Apr 2022 12:02:03 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> A clean-up to facilitate more clean-up in the future.
>
> Pavel Rappo has updated the pull request incrementally with one additional
> commit since the last revision:
>
> Address feedback
Marked as reviewed by jjg (Reviewer).
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DocFinder.java
line 136:
> 134: }
> 135:
> 136: private Input copy() {
👍
-------------
PR: https://git.openjdk.java.net/jdk/pull/8229
