On Wed, 7 Apr 2021 07:57:19 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: > Very nice work! Thanks for reviewing, Christian! ------------- PR: https://git.openjdk.java.net/jdk/pull/3361