On Mon, 7 Nov 2022 14:24:18 GMT, Markus KARG <duke at openjdk.org> wrote: > @AlanBateman I fixed what you asked for. Kindly requesting review. :-) I don't have any other comments. @bplb told me that he would sponsor this for you. ------------- PR: https://git.openjdk.org/jdk/pull/10999