On Tue, 8 Dec 2020 06:59:23 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
>> Minor nits. > > Also merge from master to get the clean workflow run everywhere? Thank you @shipilev for your comments, I've updated the PR. ------------- PR: https://git.openjdk.java.net/jdk/pull/1379
