On Thu, 21 Nov 2024 18:12:20 GMT, Daniel Fuchs <dfu...@openjdk.org> wrote:
> Looks reasonable. Good catch. I guess you will need a small CSR for those > changes? Yes, already approved: https://bugs.openjdk.org/browse/JDK-8344653 ------------- PR Comment: https://git.openjdk.org/jdk/pull/22299#issuecomment-2491953374
