Integrated: Assorted minor things

Fri Mar 25 18:21:12 UTC 2022

On Fri, 25 Mar 2022 14:17:55 GMT, Robbin Ehn <rehn at openjdk.org> wrote:

> Assorted minor things

This pull request has now been integrated.

Changeset: 183e314c
Author:    Robbin Ehn <rehn at openjdk.org>
URL:       https://git.openjdk.java.net/loom/commit/183e314cade85544f2196c395469e69e1511a914
Stats:     164 lines in 7 files changed: 30 ins; 62 del; 72 mod

Assorted minor things

Reviewed-by: coleenp

-------------

PR: https://git.openjdk.java.net/loom/pull/124