On Tue, 20 Apr 2021 09:38:22 GMT, Nils Eliasson <neliasso at openjdk.org> wrote: > > Hi @neliasso , are you OK with the latest change? > > Yes. Looks good. Thanks @neliasso . Will push it tomorrow if there is no objection. ------------- PR: https://git.openjdk.java.net/jdk/pull/3404