On Tue, 9 May 2023 16:27:21 GMT, Viktor Klang <d...@openjdk.org> wrote:
>> Still relevant to address? /cc @PaulSandoz > > Viktor Klang has updated the pull request incrementally with one additional > commit since the last revision: > > Using apiNote and rewording from method to operation Marked as reviewed by psandoz (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13890#pullrequestreview-1419029873
