On Tue, 16 Feb 2021 10:52:05 GMT, Erik Österlund <eosterlund at openjdk.org> wrote: > Looks good. Thanks for fixing! Thank you for having a look. ------------- PR: https://git.openjdk.java.net/jdk/pull/2571