On Thu, 13 Apr 2023 16:05:29 GMT, Kevin Driver <kdri...@openjdk.org> wrote:
>> All known implementors of this interface were removed in >> [JDK-8029886](https://bugs.openjdk.org/browse/JDK-8029886). > > Kevin Driver has refreshed the contents of this pull request, and previous > commits have been removed. The incremental views will show differences > compared to the previous content of the PR. The pull request contains one new > commit since the last revision: > > JDK-8305794: removed unused interface Looks fine. Please add a noreg label to the issue. ------------- Marked as reviewed by mullan (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13464#pullrequestreview-1383810853
