[jdk17u-dev] RFR: 8314495: Update to use jtreg 7.3.1

Thu Aug 31 20:20:08 UTC 2023

On Thu, 31 Aug 2023 13:47:49 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> I don't really see the point of adding all the relevant "jtreg update" issues to this PR, but I can if anyone has a strong opinion about it. @GoeLin, @RealCLanger?

No strong opinion, it's fine.

-------------

PR Comment: https://git.openjdk.org/jdk17u-dev/pull/1712#issuecomment-1701722847