On Thu, 5 Jun 2025 13:03:58 GMT, David Holmes <dholmes at openjdk.org> wrote: > That works for me. Thanls. Great, thank you! @coleenp still good for you? ------------- PR Comment: https://git.openjdk.org/jdk/pull/25491#issuecomment-2944897556