On Wed, 2 Dec 2020 17:28:15 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote: >> Marked as reviewed by psandoz (Reviewer). > > Thanks for the reviews, Claes, Paul, and Peter. \integrate ------------- PR: https://git.openjdk.java.net/jdk/pull/1472