On Thu, 17 Jun 2021 18:40:50 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Please review a simple fix to add a default implementation for a recent new >> method on the Reporter interface. (It was an oversight that the default >> implementation was not provided in the original work.) > > Jonathan Gibbons has updated the pull request incrementally with one > additional commit since the last revision: > > address review feedback Marked as reviewed by prappo (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk17/pull/92