On Thu, 29 Jun 2023 21:28:39 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Looks fine, but please give some time for others reviewers before pushing. Absolutely! Also, this PR contains a code change (a typo in an error message), which, technically speaking, disqualifies the bug from being "noreg-doc" and requires an appropriate test run. I'll let the PR sit for at least a couple of days. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14718#issuecomment-1613838292
