On Fri, 5 Feb 2021 11:57:37 GMT, Lutz Schmidt <lucy at openjdk.org> wrote: >> Martin Doerr has updated the pull request incrementally with one additional commit since the last revision: >> >> feedback from Niklas > > Still looks good to me. Thanks for the reviews! ------------- PR: https://git.openjdk.java.net/jdk/pull/2358