RFR: Merge jdk:master

Kevin Rushforth kcr at openjdk.java.net
Mon Nov 9 22:24:17 UTC 2020

On Mon, 9 Nov 2020 22:17:17 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> Manual merge of `jdk/master` into `lanai/master` since the nightly auto-merge process is _still_ offline (see [SKARA-764](https://bugs.openjdk.java.net/browse/SKARA-764)).

I'll merge it in once the GitHub actions build passes.


PR: https://git.openjdk.java.net/lanai/pull/127

More information about the lanai-dev mailing list