On Wed, 7 Dec 2022 21:55:43 GMT, Per Minborg <pminb...@openjdk.org> wrote:
> This PR suggests renaming various names from "session" to "scope" in > accordance with https://openjdk.org/jeps/434 > > The PRs contains changes for several sub-components. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/11573
