[master] Integrated: 8302065: [Lilliput] Cleanups and touch-ups

Fri Feb 10 16:50:22 UTC 2023

On Wed, 8 Feb 2023 11:40:39 GMT, Roman Kennke <rkennke at openjdk.org> wrote:

> Lilliput accumulated a couple of superfluous changes and could need some minor improvements.

This pull request has now been integrated.

Changeset: 7ed8bfa6
Author:    Roman Kennke <rkennke at openjdk.org>
URL:       https://git.openjdk.org/lilliput/commit/7ed8bfa6c5a9bb957df0c3826c4c42061f062a25
Stats:     53 lines in 16 files changed: 15 ins; 20 del; 18 mod

8302065: [Lilliput] Cleanups and touch-ups

Reviewed-by: shade

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

PR: https://git.openjdk.org/lilliput/pull/73