On Mon, 21 Sep 2020 16:45:35 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
>> Looks good. > > @adamfarley Please see > https://github.com/openjdk/jdk/pull/250#issuecomment-694845694 for getting > this integrated. For > non-committers it's `/integrate` and then `/sponsor` by somebody with commit > rights. Apologies for the delay. ------------- PR: https://git.openjdk.java.net/jdk/pull/250
