On Thu, 19 Oct 2023 22:15:09 GMT, Kelvin Nilsen <kdnilsen at openjdk.org> wrote: > Fix messages in log and user guidance. Marked as reviewed by wkemper (Committer). ------------- PR Review: https://git.openjdk.org/shenandoah/pull/345#pullrequestreview-1690551964