On Sat, 20 Jul 2024 10:05:00 GMT, Jaikiran Pai <j...@openjdk.org> wrote:
>> Also "already closed" might be a bit inconsistent with the existing API docs >> too, can you check as I think we use "is closed" in most places. > > Hello Alan, I've now updated the PR to address this text. Thanks, I can review the CSR when it's ready. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20268#discussion_r1685382205
