On Fri, 23 Oct 2020 16:39:57 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
>> Aleksey Shipilev has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Fix it instead of problem-listing > > Looks good > > /approve > > "Files Changed" on top -> "Review Changes" -> "Approve" :) I must be going mad :-) ------------- PR: https://git.openjdk.java.net/jdk/pull/836