On Tue, 9 May 2023 15:50:13 GMT, Viktor Klang <d...@openjdk.org> wrote:
> Still relevant to address? /cc @PaulSandoz I would recommend: - using `@apiNote` (might have to be placed at the end of the documentation); and - say "This operation is provided ..." ------------- PR Review: https://git.openjdk.org/jdk/pull/13890#pullrequestreview-1418989740
