On Mon, 3 Jun 2024 08:40:17 GMT, David Holmes <dholmes at openjdk.org> wrote: > That seems fine to me. > > Thanks Builds are broken, still. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19462#issuecomment-2144715820