On Mon, 16 Nov 2020 18:58:37 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
>> Igor Ignatyev has updated the pull request incrementally with one additional >> commit since the last revision: >> >> added --disable-precompiled-headers > > Marked as reviewed by shade (Reviewer). Thanks for the reviews, folks. the build looks green, integrating. ------------- PR: https://git.openjdk.java.net/jdk/pull/1233
