On Sun, 24 Apr 2022 15:44:00 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Once again. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/loom/pull/164