On Thu, 31 Aug 2023 15:07:11 GMT, Tobias Holenstein <tholenstein at openjdk.org> wrote: > Looks good to me. > > Thanks for adding this @robcasloz ! Thanks for reviewing, Toby! ------------- PR Comment: https://git.openjdk.org/jdk/pull/14537#issuecomment-1704765251