On Fri, 15 Apr 2022 11:43:03 GMT, Alan Bateman <alanb at openjdk.org> wrote: > Thanks for this, it's okay to include this port. I assume you'll keep it up to date. Sure. Thanks! ------------- PR: https://git.openjdk.java.net/loom/pull/150