On Fri, 25 Apr 2025 11:13:18 GMT, Daniel Fuchs <dfu...@openjdk.org> wrote:
>> Eirik Bjørsnøs has updated the pull request incrementally with two >> additional commits since the last revision: >> >> - Some spell fixes and comment tweaks >> - Use Java-style array declaration > > For what I'm concerned this is good to go. Feel free to integrate. Thank you @dfuch and @myankelev for helpful suggestions, reviews and CI verification! ------------- PR Comment: https://git.openjdk.org/jdk/pull/24842#issuecomment-2830130265