On Fri, 25 Apr 2025 12:25:53 GMT, Daniel Fuchs <dfuchs at openjdk.org> wrote: > Will do. Great! > The CSR could also be moved to "Proposed". It was earlier today. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24657#issuecomment-2830292381