On Tue, 30 Apr 2024 14:39:29 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> Ok for me. Let's hear what @kimbarrett thinks. > > It might be easier to get input if you create a new PR with the change. This > discussion is hidden deep down in a closed PR. I will do after labor day and create a PR with this suggested solution in your JDK-8330539. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/18536#discussion_r1585020690
