On Sun, 7 Nov 2021 11:56:03 GMT, Markus KARG <duke at openjdk.java.net> wrote: > I would be happy to extend it in that way you proposed. Shall I do that? Okay, let's do that but it will require a CSR. ------------- PR: https://git.openjdk.java.net/jdk/pull/5179