On Thu, 3 Dec 2020 01:08:18 GMT, Stuart Marks <sma...@openjdk.org> wrote:
> Some small doc changes. The changes are to `@apiNote` text, which is > non-normative, so no CSR is required. This pull request has now been integrated. Changeset: 2b73f992 Author: Stuart Marks <sma...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/2b73f992 Stats: 12 lines in 4 files changed: 0 ins; 0 del; 12 mod 8228615: Optional.empty doc should suggest using isEmpty Reviewed-by: lancea, bpb, naoto ------------- PR: https://git.openjdk.java.net/jdk/pull/1585