On Wed, 16 Aug 2023 06:57:48 GMT, Christian Stein <cstein at openjdk.org> wrote: > Please review this change to permit more segments in jtreg tags, for example: `jtreg-7.3.1+1`. Marked as reviewed by jjg (Lead). ------------- PR Review: https://git.openjdk.org/jtreg/pull/169#pullrequestreview-1580842912