On Tue, 5 Nov 2024 16:42:17 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> Eh... I tried to say that I had only reviewed part of this PR. Maybe I should > have made that clearer by bumping the number of required reviewers as well; I > usually do that but I forgot it this time. Argh, sorry... I was just blindly assuming the bot knew what it was doing... my mistake. In any case it's probably worth getting another pair of eyes to review the other changes... if there ends up being an issue I'm happy to address it in another PR. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21859#issuecomment-2457686055
