On Thu, 4 Jul 2024 08:37:42 GMT, David Holmes <dholmes at openjdk.org> wrote: > Re-approving as required under the new rules. Thank you! ------------- PR Comment: https://git.openjdk.org/jdk/pull/19611#issuecomment-2208468437