On Wed, 26 Jun 2024 14:22:03 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
>> I looked at it again and I think @cl4es 's suggestion is correct. Can I >> submit the change? @rgiulietti > > Of course, nothing has been approved as of now. > > Since you are preparing a commit anyway, may I ask you to revert back the > changes > [here](https://github.com/openjdk/jdk/pull/19730#discussion_r1652978056)? > Thanks. I have completed all the suggested changes. Please continue to review. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/19730#discussion_r1655132555
