On Mon, 4 Oct 2021 18:20:42 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> > > Can you update the copyright please? Sure, thanks! > I checked the JDI spec and it looks correct there, which is actually > surprising since errors like this usually appear in both specs. Yes I noticed this too. Thanks for reviewing, Richard. ------------- PR: https://git.openjdk.java.net/jdk/pull/5804
