On Thu, 27 Jun 2024 07:04:50 GMT, David Holmes <dholmes at openjdk.org> wrote: > Okay - seems reasonable. > > FYI I am away for a few days. > > Thanks Many thanks, David, and have a nice time. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19835#issuecomment-2196197027