On Fri, 19 Dec 2025 14:12:10 GMT, Erik Joelsson <[email protected]> wrote:

> I will approve this later today when I've verified that the original change 
> didn't cause any issues in our mainline CI.

Sure, no need to rush, I'll also give it some time to bake in our CI.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/28926#issuecomment-3676215976

Reply via email to