On Thu, 22 Apr 2021 02:11:35 GMT, Ian Graves <[email protected]> wrote:
> 8261168: Convert javadoc tool to use Stream.toList() This pull request has now been integrated. Changeset: fb8f0c5d Author: Ian Graves <[email protected]> Committer: Pavel Rappo <[email protected]> URL: https://git.openjdk.java.net/jdk/commit/fb8f0c5d Stats: 63 lines in 10 files changed: 10 ins; 12 del; 41 mod 8261168: Convert javadoc tool to use Stream.toList() Reviewed-by: prappo ------------- PR: https://git.openjdk.java.net/jdk/pull/3612
