On Mon, 12 May 2025 10:34:37 GMT, Markus KARG <d...@openjdk.org> wrote:
>> Hello Andrey, what you note is right. This and the other change you have >> proposed to this text seems reasonable. Do you want to create a JBS issue >> and raise a PR proposing this change? > > We could also simply include it in the PR for > https://bugs.openjdk.org/browse/JDK-8356679 to reduce organizational overhead. Hello Markus, it's OK to do this text change as part of JDK-8356679. Like Roger noted in the corresponding core-libs-dev mailing list, it would be good to do the 8356679 changes in smaller pieces and include this change in one of those. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/21730#discussion_r2085794320
