On Mon, 17 Apr 2023 14:56:16 GMT, Christian Stein <cst...@openjdk.org> wrote:
> Please review the change to update to using jtreg 7.2. > > The primary change is to the `jib-profiles.js` file, which specifies the > version of jtreg to use, for those systems that rely on this file. In > addition, the requiredVersion has been updated in the various `TEST.ROOT` > files. 7.1 was an enhancement https://bugs.openjdk.org/browse/JDK-8296710 7.1.1 update was a bug because of https://bugs.openjdk.org/browse/CODETOOLS-7903390 I think enhancement suits better here. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13496#issuecomment-1513478868
