Integrated: 7903524: Permit more segments in jtreg tags

Wed Aug 16 15:12:38 UTC 2023

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`.

This pull request has now been integrated.

Changeset: 5c9d7168
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/5c9d7168a063ba4639ab0dd20bf9878a72ec02f0
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

7903524: Permit more segments in jtreg tags

Reviewed-by: jjg

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

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