On Thu, 22 Sep 2022 11:30:11 GMT, Doug Simon <dnsimon at openjdk.org> wrote: > I believe this change is JVMCI agnostic since it does not change the API of DebugInformationRecorder. Right. Thank you! ------------- PR: https://git.openjdk.org/jdk/pull/10025