On Mon, 23 Sep 2024 17:43:35 GMT, Alan Bateman <al...@openjdk.org> wrote:
> Thanks for the update, having this paragraph be an apiNote seems much better. You're welcome. I will update the CSR with this version. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20320#issuecomment-2368988258
