On Wed, 29 Mar 2023 15:24:41 GMT, Lance Andersen <lan...@openjdk.org> wrote:
> Let's go with reviewing this version, Thank you for the update Eirik Good, I pushed the junit version to the PR. Also updated the JBS and PR titles. Big thanks to @dfuch for suggesting, your lower-level comments are also welcome! ------------- PR Comment: https://git.openjdk.org/jdk/pull/12563#issuecomment-1489072396