On Fri, 30 Sep 2022 13:59:12 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> Also, FWIW, there are 100+ hits in `test` as well. But that is so many it > might warrant a separate PR..? Yes; I think it is sufficient to update src and doc with this PR. ------------- PR: https://git.openjdk.org/jdk/pull/10501
