On Fri, 2 Oct 2020 15:49:27 GMT, Adam Farley <afar...@openjdk.org> wrote:
>> @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. Thanks @jerboaa :) ------------- PR: https://git.openjdk.java.net/jdk/pull/250
