On Fri, 6 Jan 2023 00:18:38 GMT, Naoto Sato <na...@openjdk.org> wrote:

> Seems that you modified a different file?

Yes I did, 🙃. Thanks for catching that, fixed it.

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

PR: https://git.openjdk.org/jdk/pull/11866

Reply via email to