On Mon, 18 Nov 2024 10:40:00 GMT, Jaikiran Pai <[email protected]> wrote:
> Is this something that you want to add Peter as a contributor to, given his > original proposal in the issue? Thanks! Yes indeed, the JBS even included a patch with a suggsted change. Not sure why it was never integratd. > I can't think of any reason not to do this change, but it would be good to > have one more review for this one. Yes, setting reviewers to 2 for this one :-) ------------- PR Comment: https://git.openjdk.org/jdk/pull/22183#issuecomment-2482790339
