Integrated: 7903426: jcstress: Polish README.md

Johnny Lim duke at openjdk.org
Tue Feb 7 15:12:41 UTC 2023


On Tue, 31 Jan 2023 14:54:59 GMT, Johnny Lim <duke at openjdk.org> wrote:

> This PR polishes the `README.md` file a bit.

This pull request has now been integrated.

Changeset: 4cb70ae2
Author:    Johnny Lim <izeye at naver.com>
Committer: Aleksey Shipilev <shade at openjdk.org>
URL:       https://git.openjdk.org/jcstress/commit/4cb70ae274d0489365dd8f9ac87683fd61720d9d
Stats:     8 lines in 1 file changed: 0 ins; 2 del; 6 mod

7903426: jcstress: Polish README.md

Reviewed-by: shade

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

PR: https://git.openjdk.org/jcstress/pull/131


More information about the jcstress-dev mailing list