On Fri, 19 Nov 2021 12:30:41 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> Thank you for the advice, I'm not familiar with the Skara workflow yet. > > @ebourg To finish integrating this PR, you need to type `/integrate` as a PR > comment. This will allow the Skara bots to move the bug on to the state where > I can sponsor it. @magicus Thank you for the hint! ------------- PR: https://git.openjdk.java.net/jdk/pull/1498
