On Sat, 2 Mar 2024 11:43:27 GMT, Korov <[email protected]> wrote:

> Seems good. If nobody disagrees such mixed patch, I will help you change the 
> title and content of the issue.

Have changed just now! And please wait for a formal reviewer to review this 
path.

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

PR Comment: https://git.openjdk.org/jdk/pull/18086#issuecomment-1978603310

Reply via email to