On Thu, 11 Feb 2021 13:39:15 GMT, Lutz Schmidt <lucy at openjdk.org> wrote: >> Changes requested by thartmann (Reviewer). > > Thank you Tobias for having a look. I'll post an update asap. @veresov please review these changes ------------- PR: https://git.openjdk.java.net/jdk/pull/2511