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