Integrated: 7903775: Add LIBRARY.properties

[Christian Stein]

On Thu, 11 Jul 2024 08:05:16 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Add support for `LIBRARY.properties`.

This pull request has now been integrated.

Changeset: e9bb12e4
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/e9bb12e48d7d58839404cc7b077ab7bf8b0cacfb
Stats:     146 lines in 8 files changed: 136 ins; 0 del; 10 mod

7903775: Add LIBRARY.properties

Reviewed-by: jjg

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

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