On Fri, 13 Nov 2020 11:14:42 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
>> Yeah, it would certainly need a bit of adaptation to capture the differences >> properly, so perfectly fine to look into later! > > Thanks folks! I'll merge the master and see if it is still green, and if it > is, I'll integrate. Cross-compiled builds still look green. Integrating. ------------- PR: https://git.openjdk.java.net/jdk/pull/1147