On Fri, 7 Mar 2025 16:45:18 GMT, Michael Strauß <mstra...@openjdk.org> wrote:
>> it is not required, and the code is inconsistent (Stage:472) ... but ok. > > Can you do it for the other changed docs also? The general policy is to avoid unrelated changes and expanding the scope. A proper way to address that would be to create a JBS and do a wholesale bulk edit, not sure if it's worth it though. ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/1717#discussion_r1985399107
