On Fri, 23 Sep 2022 16:40:13 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a small change to optionally trace why the "extra property definitions" files need to be (re)compiled. Marked as reviewed by iris (Reviewer). ------------- PR: https://git.openjdk.org/jtreg/pull/126