On Tue, 2 May 2023 20:37:18 GMT, Daniel D. Daugherty <dcu...@openjdk.org> wrote:
>> A trivial fix to remove broken EnableThreadSMRExtraValidityChecks option. > > Daniel D. Daugherty has updated the pull request incrementally with one > additional commit since the last revision: > > dholmes CR - change ':' to '.'. Looks good, thanks! ------------- Marked as reviewed by rehn (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13704#pullrequestreview-1412295770