On Wed, 17 Dec 2025 21:21:17 GMT, David Holmes <[email protected]> wrote:

>> Leonid Mesnik has updated the pull request incrementally with one additional 
>> commit since the last revision:
>> 
>>   applid David's suggestion
>
> Looks good. Thanks

@dholmes-ora, @coleenp Thank you for review and fedback!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/28839#issuecomment-3668305965

Reply via email to