On Tue, 7 Dec 2021 14:48:17 GMT, Daniel Fuchs <dfuchs at openjdk.org> wrote: >Remind me to sponsor this after the fork. fork is done :) ------------- PR: https://git.openjdk.java.net/jdk/pull/5818