Withdrawn: 7903519: adding jtharness crashonly extension compatibility

Tue Dec 5 17:38:34 UTC 2023

On Mon, 7 Aug 2023 13:21:01 GMT, andrlos <duke at openjdk.org> wrote:

> I want to add functionality of https://github.com/openjdk/jtharness/pull/49 to jtreg, which means that this needs to be merged only after the mentioned MR is merged and tested only with a build of https://github.com/andrlos/jtharness .

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jtreg/pull/164