On Fri, 19 Nov 2021 13:14:56 GMT, Emmanuel Bourg <d...@openjdk.java.net> wrote:
>> @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! @ebourg Thank you for your contribution! It's been a long and bumpy ride for something that seemed like a simple patch. I hope you have not been scared away from contributing to the JDK in the future. :-) ------------- PR: https://git.openjdk.java.net/jdk/pull/1498
