On Tue, 22 Dec 2020 09:43:16 GMT, Roberto Castañeda Lozano <rcastanedalo at openjdk.org> wrote: >> Looks good! > >> Looks good! > > Thanks Christian! This change is ready for integration, please sponsor. ------------- PR: https://git.openjdk.java.net/jdk/pull/1840