On Mon, 8 Nov 2021 16:56:20 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > https://wiki.openjdk.java.net/display/csr/Main Understood, thanks for the pointer. I will file a CSR then. ------------- PR: https://git.openjdk.java.net/jdk/pull/5179