Integrated: 7903044: Report `os.*` system properties in .jtr file

[Christian Stein]

On Mon, 8 Nov 2021 06:26:47 GMT, Christian Stein <cstein at openjdk.org> wrote:

> https://bugs.openjdk.java.net/browse/CODETOOLS-7903044

This pull request has now been integrated.

Changeset: ed747d4d
Author:    Christian Stein <cstein at openjdk.org>
Committer: Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jtreg/commit/ed747d4d9570cf9972211687dad1db720cd33bd5
Stats:     7 lines in 2 files changed: 6 ins; 0 del; 1 mod

7903044: Report `os.*` system properties in .jtr file

Reviewed-by: jjg

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

PR: https://git.openjdk.java.net/jtreg/pull/35