On Thu, 30 Nov 2023 19:07:50 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
>> Yes it's fine. We can wait for more feedback and consider this future >> enhancement if desirable. I just wanted to understand the reason. Good to >> add a comment to explain. > > Makes sense. comment added. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14787#discussion_r1414386752
