On Mon, 30 Nov 2020 11:30:26 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > Lgtm Thanks @tschatzl for your review. @kimbarrett , are you OK with this change? Thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/1489