On Fri, 27 Nov 2020 08:26:16 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: >> Marked as reviewed by tschatzl (Reviewer). > > Still good. Thanks. Thanks @tschatzl and @albertnetymk for the reviews. ------------- PR: https://git.openjdk.java.net/jdk/pull/1447