On Thu, 28 Apr 2022 19:48:18 GMT, Paul Sandoz <[email protected]> wrote:

> It should be possible for you finalize now.

Done.
Thanks @PaulSandoz .

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

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

Reply via email to