On Tue, 3 Aug 2021 08:01:37 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > Lgtm. Thank you, Thomas. Is this trivial enough to be trivial? ------------- PR: https://git.openjdk.java.net/jdk/pull/4968