On Thu, 11 Jan 2024 12:29:01 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> @pavelrappo > > > I've run the updated script on JDK. The script found 8 missorted sealed and > > 20 missorted default. The script also found 3 false positive default:[...] > > None of those findings are addressed in this PR. > > Are you planning on addressing this in a separate PR? If not, maybe you can > at least open an issue in JBS. I was not planning to do that, but I sure can. I'll try to publish the PR within a week. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17242#issuecomment-1887338396
