On Thu, 12 Feb 2026 10:25:27 GMT, Thomas Stuefe <[email protected]> wrote:
>> Sorry this github UI makes it hard to see things sometimes. > > @dholmes-ora Webrev is your friend :-) > https://openjdk.github.io/cr/?repo=jdk&pr=28366&range=06 It was the comment that I missed. :) ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/28366#discussion_r2802296395
