On Thu, 12 May 2022 12:23:34 GMT, Jaikiran Pai <j...@openjdk.org> wrote:

>> Will await further review for a short while and then integrate if approved.
>
>> Will await further review for a short while and then integrate if approved.
> 
> Hello Conor, looking at the latest state of the PR, I think you might have 
> missed Daniel's review comment 
> https://github.com/openjdk/jdk/pull/8017#discussion_r866857608 which I think 
> has caught an unintentional change in this PR.

Thanks @jaikiran, will integrate now!

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

PR: https://git.openjdk.java.net/jdk/pull/8017

Reply via email to