On Tue, 31 Jan 2023 18:05:16 GMT, William Kemper <wkemper at openjdk.org> wrote: > Also, some minor changes to logging. Thanks. Ok after whitespace fixes. ------------- Marked as reviewed by kdnilsen (Committer). PR: https://git.openjdk.org/shenandoah/pull/209