On Thu, 24 Sep 2020 15:33:01 GMT, Raffaello Giulietti <github.com+70726043+rgiulie...@openjdk.org> wrote:
>> @shipilev I agree, but that's the title chosen by the reporter of the JBS >> issue. Not sure I can edit it without >> impacting bots and tools. > > Hello > > this is a gentle reminder that this issue still needs a more formal review. > > Greetings > Raffaello Hello, a reminder that this issue has not been formally reviewed. Estimated time: 10-15 min with "Hacker's delight" on the desk. Greetings Raffaello ------------- PR: https://git.openjdk.java.net/jdk/pull/31
