On Mon, 14 Nov 2022 09:39:10 GMT, Anthony Vanelverdinghe <duke at openjdk.org> wrote: > As the title says. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/loom/pull/195