On Fri, 16 Apr 2021 10:09:39 GMT, Nils Eliasson <neliasso at openjdk.org> wrote: > Looks good! > > You can consider this a 'trivial' change. Thanks for reviewing, Nils! ------------- PR: https://git.openjdk.java.net/jdk/pull/3515