On Tue, 19 Oct 2021 12:19:24 GMT, Erik Gahlin <egah...@openjdk.org> wrote:

>> Markus Grönlund has updated the pull request incrementally with one 
>> additional commit since the last revision:
>> 
>>   header
>
> Marked as reviewed by egahlin (Reviewer).

Thanks, @egahlin and @coleenp, for your quick reviews. I will proceed to 
integrate this to restore testing in the CI.

-------------

PR: https://git.openjdk.java.net/jdk/pull/6001

Reply via email to